Two Symmetrical Decomposition Methods for Structure-complex Petri Nets and Their Applications

In order to overcome the difficulties in analyzing complex physical systems with Petri nets, two new decomposition methods for structure-complex Petri net are presented based on an index function defined on the place and transition set respectively. The decomposition method based on the indexes of places is suitable for analyzing the behavior synchronization between systems, with which a structure- omplex Petri net is decomposed into a set of S-Nets. The decomposition method based on the indexes of transitions is suitable for analyzing the resource sharing between systems, with which a structure-complex Petri net is decomposed into a set of T-Nets. The relationships between the decomposition structure-simple subnets and the original structure-complex systems are proved, and the properties of the original system can be analyzed based on the structure- simple S-Nets or T-Nets.