School of Computer Science and Technology, Shandong Jianzhu University, China; State Key Laboratory of Computer Science, Institute of Software, Academy of Sciences, Beijing, China

---

Abstract—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 pp subnet under which the following structural properties will be preserved: structural boundedness, structural liveness, conservativeness, repetitiveness, consistency, P-invariant, T-invariant and fairness. Such results release the designer's burden for having to provide different methods for individual properties.

Index Terms—Petri nets, synthesis, property analysis, structural boundedness, structural liveness.

[PDF]

Cite: Chuanliang Xia, "Structural Property Analysis of Petri Net Synthesis Shared pp Subnet," Journal of Computers vol. 7, no. 1, pp. 292-300, 2012.