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

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.