A Decomposition Method for Petri Net Based on the Index of Transitions

By defining the index function of transitions,a new decomposition method for Petri net is presented,with which the decomposed sub net systems are all T-nets.The structural and behavior properties during the decomposition process are analyzed with details,and it is proved that the original system can be obtained by the communion composi- tion of the decomposed subnets.The conclusions and methods will benefit modeling and analyzing the physical systems based on Petri net.