论文部分内容阅读
对Petri网的有界性和公平性进行了再次讨论,指出Petri网的结构有界库所子集的外延子网是结构有界网,当Petri网的结构有界库所子集的外延子网的变迁集合包含原网的全部变迁时,该子网与原网的公平性是等价的,否则即使该子网为公平网,原网也不是公平网,此结论将一般Petri网的公平性判定问题转化为结构有界网的公平性判定问题。