Title :
The Behavior Properties of Refinement of Petri Nets and Application in Parallel Programming
Author :
Peng, Zhang ; Mei, Qi ; Xikui, Liu
Author_Institution :
Coll. of Inf. Sci. & Eng., Shandong Univ. of Sci. & Technol., Qing Dao, China
fDate :
March 31 2009-April 2 2009
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.
Keywords :
Petri nets; message passing; parallel programming; Petri net; behavior property; message passing interface; parallel programming; Application software; Computer interfaces; Computer science; Concurrent computing; Educational institutions; Information science; Parallel programming; Petri nets; Software packages; Tin; Design; Parallel Program; Petri net; Refinement;
Conference_Titel :
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3507-4
DOI :
10.1109/CSIE.2009.831
