中文摘要：

合成技术是解决复杂系统的Petri网设计与分析的一条重要途径。本项目将在现有Petri网合成技术的基础上，借鉴其它形式方法中的合成操作，提供支持更多Petri网系统重用的合成方式，丰富和完善Petri网系统的合成技术；验证在各种合成操作下相关性质或性质集的可保持性，以期提供一系列Petri网性质保持的操作，从而达到由小的简单的Petri网系统入手逐步设计出符合要求的Petri网系统的目的；并考虑把多种合成模式应用于柔性制造系统及其它应用系统中的资源共享问题的设计与正确性验证，为基于Petri网技术的大规模并行系统的建模与分析技术提供基本保证。

结论摘要：

合成技术是解决复杂系统的Petri网设计与分析的一条重要途径。本项目在现有Petri网合成技术的基础上对Petri网的合成技术进行了系统深入的研究，获得了能支持更多Petri网系统重用的合成操作，丰富和完善了Petri网系统的合成技术；验证了在各种合成操作下相关性质或性质集的可保持性，从而提供了一系列Petri网性质保持的合成操作，可实现由小的简单的Petri网系统入手逐步设计出符合要求的Petri网系统的目的。同时本项目把多种合成模式应用于柔性制造系统及工作流等其它应用系统中的资源共享问题的设计与正确性验证，为基于Petri网技术的大规模并分系统的建模与分析技术提供了基本保证。