论文部分内容阅读
Petri网是一种用于描述系统的动态行为和分析系统的动态性质的数学模型,对描述和分析并发现象有其独到的优越之处,非常适合于异步并发系统的建模。为了刻划同系统行为密切相关的时间因素,又定义和研究了各种含时间因素的Petri网。 活性和有界性是Petri网中最重要的性质,对于传统Petri网中的这些性质,大都已经得到了较为满意的判定结果,而对含时间因素的Petri网的这些相应性质研究得很少,大部分文献都是侧重于具体的应用。 本文研究的Time Petri Net(简称为TPN)简单且模拟能力等价于图灵机,但TPN的活性、有界性和对应的传统Petri网的相应性质并无对应关系。 所以本文就从这个背景出发,讨论了TPN的模拟能力,并给出了TPN能进行“零检验”的一个例子,给出了另一种含时间因素的时延Petri网向TPN的转换方法,给出了保持活性、有界性的两个时间区间上的充分必要条件,最后,给出了保持活性的结构上和动态上的两个充分条件。为利用传统Petri网的性质判定结果来判定时间Petri网的相应性质提供了可能性。