Title :
A study on the decomposition of transition firing sequence problems for Petri Nets
Author :
Yoshie, Shun ; Nishi, Tatsushi ; Inuiguchi, Masahiro
Author_Institution :
Osaka Univ., Osaka
Abstract :
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.
Keywords :
Petri nets; discrete event systems; polynomials; sequences; Petri nets; decomposition procedure; discrete event system; polynomial; transition firing sequence problem; Cities and towns; Computational complexity; Computational modeling; Discrete event systems; Equations; Mathematical model; Petri nets; Polynomials; Stochastic systems; Technological innovation; Petri Nets; computational complexity; decomposition; transition firing sequence problem;
Conference_Titel :
SICE, 2007 Annual Conference
Conference_Location :
Takamatsu
Print_ISBN :
978-4-907764-27-2
Electronic_ISBN :
978-4-907764-27-2
DOI :
10.1109/SICE.2007.4421043
