基于库所指标分解的Petri网结构性质分析

Structural Property Analysis of Petri Nets Based on Decomposition According to Indexes of Places

Petri网的分解技术是复杂网系统分析的一种重要手段,基于库所指标的分解方法将系统分解为一组S-网。基于库所指标的分解方法来分析原网的结构性质,得到了原网对子网结构性质的保持关系,并给出了几种通过子网直接判定原网结构性质的方法,为结构复杂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 place set, a net system can be decomposed into a set of S-nets. The structural property of the original net system according to decomposition approach based on the index function on the place set are addressed. The preservation of the structural property relation between the original net system and the decomposition sub net systems are obtained. Several methods to judge the structural property of original net system according to the decomposition sub net systems are presented.