中文摘要：

针对柔性制造系统的共享子系统设计问题，提出了经由Petri网共享PB-型子网（Place Bordered Subnet）构成共享PB-型子网合成网的解决方案；研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件；对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。

英文摘要：

A scheme was obtained using synthesis of Petri nets-shared PB-type subnet （Place Bordered Subnet）, according to shared subsystem 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, bouadedness preservation were proposed. 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.