DefinePK hosts the largest index of Pakistani journals, research articles, news headlines, and videos. It also offers chapter-level book search.
Title: A Polynomial-time Decomposition Algorithm for Petri Nets Based on Indexes of Transitions
Authors: Qingtian Zeng
Journal: Information Technology Journal
Publisher: Asian Network for Scientific Information (ANSInet)
Country: Pakistan
Year: 2011
Volume: 10
Issue: 4
Language: English
DOI: 10.10.3923/itj.2011.856.862
Keywords: DecompositionPetri netpolynomial-time algorithmindex of transition
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.
Loading PDF...
Loading Statistics...