摘要
Petri网的活性和公平性分别反映了所模拟的分布式系统的无死锁性和无饥饿性。本文对有界Petri网的活性和公平性进行了分析:1)指出了有界Petri网的活性和公平性在其可达标识图中的表现;2)证明了对于一个结构有界的可重复网(并带有可重复的初始标识),如果在任意可达标识下,任意两个变迁节都不处于有效的冲突,则这个网一定是活的和公平的。 对于不活或不公平的带可重复标识的结构有界的可重复网,本文提出了几种实现活性和公平性的控制装置。
Some analyses for liveness and fairness of bounded Petri nets are given in this paper. The reflections of liveness and fairness in its reachable marking graph are indicated. For a structurally bounded and repetitive nets with a repetitive initial marking, if any two transitions are not in effectively conflict on any reachable marking, then the Petri net is both live and fair, if it is not live or not fair, some control devices for implementing liveness and fairness are presented.
出处
《计算机学报》
EI
CSCD
北大核心
1989年第4期267-278,共12页
Chinese Journal of Computers
基金
国家自然科学基金(6863028)
中国科学院科学基金(数85182)
