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

摘要：

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

关键词：Petri网、弱公平性、公平性、有界性

所属期刊栏目：41

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金61173042;上海市“曙光计划”10SG23;上海市青年科技启明星跟踪计划12QH1402300;铁道部科技研究开发计划2012X014-E

在线出版日期：2014-09-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：49-51