Structural Property Analysis of a Kind of Petri Net Synthesis

Abstract:

Article Preview

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.

Info:

Periodical:

Advanced Materials Research (Volumes 255-260)

Edited by:

Jingying Zhao

Pages:

1989-1993

DOI:

10.4028/www.scientific.net/AMR.255-260.1989

Citation:

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

Online since:

May 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.