Abstract: A scheme is obtained using synthesis of Petri nets shared subnet, according to design and analysis of flexible manufacturing system. Dynamic property preservations of the synthesis net have been investigated. A group of sufficient conditions of liveness p

Key words: Petri nets, Synthesis, Boundedness, Liveness, System design