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

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