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

• 全文链接
• 请求原文

作   者：

施洲琪;  丁志军;  陈闳中; 

作者机构：

同济大学计算机科学与技术系; 

关键词：

Petri网;  有界性;  弱公平性;  公平性; 

期刊名称：

计算机科学

基金项目：

大规模定制服务系统的Petri网语义模型与关键技术研究

i s s n：

1002-137X

年卷期：

2014 年 41 卷 07 期

页   码：

49-51

摘   要：

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