Abstract: A scheme is obtained using synthesis of Petri nets shared P-type subnet, in order to solve subsystem-shared problem in system design. The structural properties of synthesis Petri nets are studied. The sufficient conditions or sufficient and necessary cond

Key words: Petri nets, Synthesis, Structural liveness, Fairness, System design