首页 > 期刊 > 系统仿真学报 > Petri网有界性和公平性关系的进一步研究 【正文】
摘要:对Petri网的有界性和公平性进行了再次讨论,指出Petri网的结构有界库所子集的外延子网是结构有界网,当Petri网的结构有界库所子集的外延子网的变迁集合包含原网的全部变迁时,该子网与原网的公平性是等价的,否则即使该子网为公平网,原网也不是公平网,此结论将一般Petri网的公平性判定问题转化为结构有界网的公平性判定问题。
关键词:petri网 公平性 有界性 外延子网
单位:山东科技大学信息学院
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
相关期刊
北大期刊
¥700.00