Abstract:
Similar to the decomposition approach for Petri nets based on the indexes of places, decomposition based on the indexes of transitions is also convenient to analyze dynamic properties of structure-complex Petri nets. This study proposes an algorithm for the decomposition approach based on indexes of transitions and analyzes the complexity of the given algorithm. The main data structures required and four key functions contained in the decomposition algorithm are addressed firstly. It is proved that the proposed decomposition algorithm is a polynomial-time algorithm.
Qingtian Zeng , 2011. A Polynomial-time Decomposition Algorithm for Petri Nets Based on Indexes of Transitions. Information Technology Journal, 10: 856-862.