%0 Journal Article
%T Structural Property Analysis of Petri Net
%A Chuanliang Xia
%J Journal of Computers
%D 2012
%I Academy Publisher
%R 10.4304/jcp.7.1.292-300
%X 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.
%K Petri nets
%K synthesis
%K property analysis
%K structural boundedness
%K structural liveness
%U http://ojs.academypublisher.com/index.php/jcp/article/view/6640