This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
Property Preservation of Petri Refinement Net
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
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, vol. 5, pp.749-754, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.