Petri net synthesis shared P-type subnet and its applications in system design

A scheme was obtained using synthesis of Petri nets shared P-type subnet, according to design of flexible manufacturing system. Dynamic property preservations of the synthesis net were investigated. A set of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation were proposed. The major motivation of this work is to generalize the results of [7] and to extend synthesis of Petri nets shared places to synthesis of Petri nets shared P-type subnets. Applications of the synthesis method were illustrated with an example from flexible manufacturing system. These results are useful for studying the static and dynamic properties of Petri nets. The synthesis method is practical to use in system design and analysis.