中文摘要：

针对柔性制造系统的设计和分析，提出了经由Petri网共享子网构成合成网的解决方案；研究了Petri网共享子网合成的动态性质保持问题，给出了合成网保持活性、有界性的一组充分条件；对一个柔性制造系统进行了设计和分析。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径，为Petri网复杂大系统的分析提供重要手段，并特别适合于柔性制造系统的设计，具有一定的实用价值。

英文摘要：

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 preservation, boundedness preservation are presented. A flexible manufacturing system has been designed and analyzed. These results are useful for studying the static and dynamic properties of Petri nets and analyzing properties for large complex system. The synthesis method is especially fit for flexible manufacturing system design and practical to use in reality.