Petri网有界性和公平性关系的进一步研究

摘要：

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

关键词： Petri网 外延子网 结构有界网

作者: 王廷刚 吴哲辉

作者单位: 山东科技大学信息学院,青岛 266510

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 13-14

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）