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: 330-333
ABSTRACT
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, 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. 330-333, doi:10.1109/CSIE.2009.831
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool