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

• 作者: 丁志军 施洲琪 陈闳中
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Petri网 弱公平性 公平性 有界性
• 年，卷（期）: 2014,（7）
• 所属期刊栏目: 2013'Petri网
• 页码范围: 49-51
• 页数: 3页
• 分类号: TP301
• 字数: 2947字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2014.07.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁志军	同济大学计算机科学与技术系	37	329	8.0	17.0
2	陈闳中	同济大学计算机科学与技术系	33	666	12.0	25.0
3	施洲琪	同济大学计算机科学与技术系	1	1	1.0	1.0