Title :
Property Preservation of Petri Refinement Net
fDate :
March 31 2009-April 2 2009
Abstract :
For systems specified in ordinary Petri nets, this paper proposes the conditions imposed on a kind of net refinement under which the following structural properties will be preserved: structural boundedness, conservativeness, P-invariant, repetitiveness, consistent and T-invariant.
Keywords :
Petri nets; Petri refinement net; property preservation; structural property; Computer science; Design methodology; Laboratories; Petri nets; Petri nets; property preservation; refinement; repetitiveness; structural boundedness;
Conference_Titel :
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3507-4
DOI :
10.1109/CSIE.2009.424
