Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007)
Two Symmetrical Decomposition Methods for Structure-complex Petri Nets and Their Applications
Haier International Training Center, Qingdao, China
July 30-August 01
ISBN: 0-7695-2909-7
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-complex 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.
Citation:
Qingtian Zeng, "Two Symmetrical Decomposition Methods for Structure-complex Petri Nets and Their Applications," snpd, vol. 3, pp.1101-1106, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), 2007