Petri网系统合成与性质保持研究

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