高级检索

    T-组合Petri网的活性和公平性分析

    ANALYSIS OF LIVENESS AND FAIRNESS FOR T COMPOSITION PETRI NET

    • 摘要: 同步合成是研究复杂Petri网系统性质的有效途径.文中通过引入可引发变迁序偶的概念,研究了T-组合(同步合成)Petri网对子网的活性和公平性继承关系,给出了一组T-组合Petri网活或公平的充要条件和充分条件.这些结果对网组合同步设计具有重要的指导意义

       

      Abstract: Synchronous composition is an effective method for studying properties of complex Petri nets. A class of synchronous composition nets, the T composition Petri net made by composition of nets via a set of transitions,is introduced.Based on the notion of order pairs of firing transitions and the reachable marking graph of Petri nets,a set of necessary and sufficient conditions are obtained,which can be used to decide liveness and fairness of T composition Petri net.These results are useful for studying dynamic characters of complex Petri nets.

       

    /

    返回文章
    返回