The Community for Technology Leaders
RSS Icon
Subscribe
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", CSIE, 2009, Computer Science and Information Engineering, World Congress on, Computer Science and Information Engineering, World Congress on 2009, pp. 749-754, doi:10.1109/CSIE.2009.424
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool