中文摘要：

针对柔性制造系统的设计问题。提出了经由Petri网共享P-型子网构成合成网的解决方案；研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件；主要动机是对[7]的P-组合网系统的有关结果进行推广，将共享库所合成直接椎广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。

英文摘要：

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.