Asymmetric Choice Net Synthesis Shared Subnet and its Applications in System Modeling
非对称选择网类共享子网合成及其在系统建模中的应用

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.