Structural Property Analysis of Petri Net

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.