Structural Property Analysis of a Kind of Petri Net Synthesis
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.
C. L. Xia et al., "Structural Property Analysis of a Kind of Petri Net Synthesis", Advanced Materials Research, Vols. 255-260, pp. 1989-1993, 2011