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

Marketing Automation Platform Marketing Automation Tool