并发系统的Petri网结构化分析与综合研究

Petri网技术可用于并发复杂系统的建模与分析验证,状态空间的爆炸问题一直是这项技术能有效应用的瓶颈。Petri网的结构化分析与综合技术可以有效缓解由于状态爆炸引起的分析与验证效率下降的问题。本项目将研究能改进Petri网结构化技术对并发系统模型分析与综合的方法和手段,主要研究Petri网基于结构的规约,分解与验证方法,以及如何设计可以保持Petri网的重要行为性质的求精操作等,本项目也将进一步研究Petri网的行为性质与网结构的关系以提高Petri网性质分析与验证的效率。

该项目对并发系统的Petri网结构化分析与综合方面进行了深入的研究,获得了一些有意义的研究结果：研究了Petri网基于结构的规约,分解与验证方法,以及如何设计可以保持Petri网的重要行为性质的求精操作等问题，获得了能支持更多Petri网系统重用的合成方式,丰富了Petri网系统的合成技术。研究了Petri网的行为语义，从网结构和系统行为的角度，提出了Petri网的变迁集序列语义，并对该语义的理论与应用进行了深入的研究，证明了这种语义的可靠性与完备性。该项目的研究结果改进了Petri网结构化技术对并发系统模型分析与综合的方法和手段，有助于提高Petri网性质分析与验证的效率，相关研究论文已发表在高水平的国际会议和杂志上。