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

Petri 网弱公平性和公平性关系的 进一步研究 * 施洲琪 丁志军 陈闳中 同济大学计算机科学与技术系 上海 200092 在 网中，公平性概念的引入是为了讨论网系统中两个变迁发生之间的相互关系 这种关系可 摘 要 Petri 。 以很好的反映出模拟系统的各个事件在资源竞争中的有无饥饿性问题 本文基于弱公平性和公平性的定义 。 与联系，证明了对于有界Petri 网，满足弱公平性就满足公平性；同时证明了在两类无界Petri 网中，可由 弱公平性推导出公平性 并进一步证明其他类型的无界 网是不满足公平性的，即无法从弱公平性直 。 Petri 接推导出公平性。 网，弱公平性，公平性，有界性 关键字 Petri Further Study of the Relationship between Weak Fairness and Fairness of Petri Nets SHI Zhou-Qi DING Zhi-Jun CHEN Hong-Zhong Department of Computer Science and Technology ，Tongji University，Shanghai 200092 Abstract In Petri net, the introduction of the concept fairness is to discuss the relationship of two transitions happened in net system. This relationship can well reflect each part of the concurrent system in the competition for resource whether have starvation-free problem. According to the definition and the relation of the weak fairness and fairness, it is proved that fairness can be deduced by weak fairness for a bounded Petri net and for two classes unbounded Petri net. Fairness cannot be deduced by weak fairness for other unbounded Petri net. Keywords Petri net, weak fairness, fairness, boundedness                                                               *  This work is partially supported by National Natural Science Foundation of China under Grant No.( 国家自然科学基金) ； Program for “Shu Guang” Project supported by Shanghai Municipal Education Commission and Shang