非对称选择网类共享子网合成及其在系统建模中的应用

Asymmetric Choice Net Synthesis Shared Subnet and its Applications in System Modeling

为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的建模和分析,具有一定的实用价值。

A scheme is obtained using synthesis of asymmetric choice nets shareda kind of subnet,in order to solve subsystem-shared problem in system modeling. The properties of synthesis Petri nets are studied. The sufficient conditions or sufficient and necessary conditions of property preservation by shared subnet are obtained, such as structural boundedness and structural liveness. These results are useful for studying the properties of Petri synthesis nets,establishingmodels for large complex system. The synthesis method, whitch is practical to use in reality, suit to model and analysize some kind of system.