【摘要】 本文提出 Petri网的共享路径合成网的概念 ,研究了合成网对子网的活性和公平性继承关系 ,最后给出一种实现共享路径合成网活性和公平性的控制装置 .这些结果为网系统合成提供了有力手段 ,对并发系统的相关性质分析有重要的应用价值更多还原

【Abstract】 A shared path composition net via sharing of places and transitions fo r two Petri nets is defined in this paper . The conditions for preserving bounde dness, liveness and fairness of the shared path composition net of two Petri n ets are discussed. If a shared path composition net is not live or not fair, a c ontrol device for implementing liveness and fairness is presented. The compositi on method is illustrated by an example of sharing path composition of two discre te manufacturing system. These results are useful for studying composition of di screte concurrent systems and examining the behavior characters of composition nets.更多还原