Abstract: 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

Key words: Petri nets,Synthesis,Structural liveness,Structural boundedness,System modeling