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

摘要：

在Petri网中,公平性概念的引入是为了讨论网系统中两个变迁发生之间的相互关系.这种关系可以很好的反映出模拟系统的各个事件在资源竞争中的有无饥饿性问题.本文基于弱公平性和公平性的定义与联系,证明了对于有界Petri网,满足弱公平性就满足公平性;同时证明了在两类无界Petri网中,可由弱公平性推导出公平性.并进一步证明其他类型的无界Petri网是不满足公平性的,即无法从弱公平性直接推导出公平性.

关键词： Petri网 弱公平性 公平性 模拟系统 无饥饿性

作者: 施洲琪 丁志军 陈闳中

作者单位: 同济大学计算机科学与技术系 上海 200092

会议类型: 国内会议

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

会议地点: 西安

会议语种:中文

页码: 1-5

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