A study on the decomposition of transition firing sequence problems for Petri Nets

In this paper, we define the basic class of the structure of Petri Nets with polynomial number of states. A decomposition procedure is proposed to decompose the Petri Net into the basic class of Petri Nets. The method is effectively applied to decomposition and coordination algorithm for solving transition firing sequence problems for Petri Nets. The effectiveness of the proposed decomposition procedure is investigated from numerical experiments.