The Community for Technology Leaders
Computer Science and Information Engineering, World Congress on (2009)
Los Angeles, California USA
Mar. 31, 2009 to Apr. 2, 2009
ISBN: 978-0-7695-3507-4
pp: 749-754
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.
INDEX TERMS
Petri nets, refinement, property preservation, structural boundedness, repetitiveness
CITATION
Chuanliang Xia, "Property Preservation of Petri Refinement Net", Computer Science and Information Engineering, World Congress on, vol. 05, no. , pp. 749-754, 2009, doi:10.1109/CSIE.2009.424
91 ms
(Ver )