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

【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 whether each part of the concurrent system in the competition for resource has starvation-free problem.According to the definition and the relation of the weak fairness and fairness,it was 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.更多还原