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
The Behavior Properties of Refinement of Petri Nets and Application in Parallel Programming
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
The Transition Refinement and Place Refinement of Petri nets are studied. the holding properties such as Behavior Invarity, Unit Relativity, Fairness and Invariants are presented, also the properties of Fairness, Invariant in the Refinement are also given. On the base of these properties, the approach of how to design a MPI parallel program using Refinement is proposed.
Index Terms:
Petri net, Design, Parallel Program, Refinement
Citation:
Zhang Peng, Qi Mei, Liu Xikui, "The Behavior Properties of Refinement of Petri Nets and Application in Parallel Programming," csie, vol. 3, pp.330-333, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.