论Petri网链路合成

提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强.研究结果可为Petri网系统合成的静态和动态性质的考察提供有效途径.

On Link-road Synthesis of Petri Nets

Single-link-road and Link-road synthesis net are defined in this paper. Several sufficient conditions are presented, which the link-road synthesis net of free choice nets(FC), extended free choice nets(EFC), strong asymmetric choice nets(SAC), extended strong asymmetric choice nets(ESAC), or asymmetric choice nets(AC) is a FC net, EFC net, SAC net, ESAC net, or AC net respectively. Some conditions of the structural liveness preservation by link-road synthesis of Petri nets are obtained. According to these conditions, a global structural live link-road synthesis net is obtained by the link-road synthesis of several structural live FC nets, EFC nets, SAC nets, ESAC nets, AC nets or general Petri nets. The characteristic of the link-road synthesis method is that it is easy to decide the synthesis conditions and it is very practical. These results are useful for studying the static and dynamic properties of Petri synthesis nets and practical to use in reality.