时间Petri网保持活性、有界性的两个充要条件

计算机科学 ›› 2006, Vol. 33 ›› Issue (9): 232-234.

• 计算机网络与信息安全 • 上一篇下一篇

时间Petri网保持活性、有界性的两个充要条件

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
国家自然科学基金重大研究计划重点项目（90412012）、国家自然科学基金项目（60173053）.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 活性和有界性是Petri网最重要的性质，对于传统Petri网的这些性质，国内外学者作过大量的研究工作，并且得到了不少成果，而对含时间因素的Petri网的这些相应性质国内外研究得很少。本文首先介绍了时间Petri网TPN的若干基本定义，然后说明了时间Petri网TPN的活性、有界性和对应传统Petri网的相应性质并无关系，接着给出了时间Petri网保持活性、有界性的时间区间上的两个充分强要条件。为利用传统Petri网的性质判定结果来判定时间Petri网的相应性质提供了可能性。

关键词: 时间Petri网活性有界性时间区间充要条件

Abstract: Liveness and boundedness are the two most important properties of the Petri nets, for the classic Petri nets, many scholars have done a lot of work and obtained satisfactory judging result, but for Petri Net with time factor, most literatures focus on con

Key words: Time Petri net, Liveness, Boundedness, Time interval, Sufficient and neccessory condition

. 时间Petri网保持活性、有界性的两个充要条件[J]. 计算机科学, 2006, 33(9): 232-234. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

时间Petri网保持活性、有界性的两个充要条件

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0