Structural Property Analysis of a Kind of Petri Net Synthesis
2011 ◽
Vol 255-260
◽
pp. 1989-1993
Keyword(s):
Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. This paper proposes the conditions imposed on a synthesis shared a kind of subnet under which the following structural properties will be preserved: repetitiveness, consistency, structural boundedness, conservativeness, structural liveness, P-invariant and T-invariant.
2014 ◽
Vol 575
◽
pp. 501-506
◽
2006 ◽
pp. 105-116
◽
2007 ◽
Vol 20
(5)
◽
pp. 533-551
◽
Keyword(s):