基于变迁指标分解的Petri网性质分析

Property Analysis of Petri Nets Based on Decomposition According to Indexes of Transitions

Petri网的分解技术是复杂网系统分析的一种重要手段,基于变迁指标的分解方法将系统分解为一组T-网。通过获得分解子网的结构性质以及子网与原网间的性质保持关系,得到了判定原网结构性质的一些方法和结论;同时给出了判定原网系统活性的一个条件。所得结果为结构复杂Petri网的性质分析提供了有效的方法。

Decomposition of Petri nets is an important approach to analyze the properties of complex net systems. With the decomposition method of Petri nets by defining an index function on the transition set, a net system can be decomposed into a set of T-nets. The properties of original net are provided by obtaining the properties of the de- composition subnets and the property preservation between the original net and the subnets. A determination condition for the liveness of the original net system is provided. The obtained results offer an effective way for property analysis of some structurecomplex Petri nets.