Abstract: 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 detai

Key words: Petri net,Index of transition, Reachable states, Language, Decomposition of petri net