DocumentCode :
2581746
Title :
The Algorithm of Color Petri Nets Transform into the Place/ Transition Nets and Its Implementation
Author :
Li Wen-Jing ; Yang Wen ; Li Shuang ; Liao Wei-Zhi
Author_Institution :
Coll. of Comput. & Inf. Eng., Guangxi Teachers Educ. Univ., Nanning, China
fYear :
2012
fDate :
19-22 Oct. 2012
Firstpage :
461
Lastpage :
465
Abstract :
With the aim of solving the problems of the Petri nets to the place/transition nets automatic conversion and realization of Petri nets parallel control and running, the algorithm is proposed to transform Color Petri net systems transform into P/T nets. The algebraic model of colored Petri nets and P/T nets, and its intrinsic mechanism is analyzed, the process and theory verification of the colored Petri nets into P/T nets are given. The colored Petri nets into P/T network algorithm is proposed, through the network model of formal, colored Petri nets correlation matrix pretreatment. Experimental results show that it is an effective method to solve Color Petri Net systems transform into P/T nets, lay the foundation for various senior Petri nets system transformation into P/T nets and achieve the parallelism and simulation of running.
Keywords :
Petri nets; matrix algebra; parallel algorithms; Petri nets correlation matrix pretreatment; Petri nets parallel control; algebraic model; automatic conversion; color Petri nets transform; place nets; transition nets; Color; Computational modeling; Image color analysis; Petri nets; Prototypes; Transforms; Vectors; Algebraic Model; Algorithm and Implementation; Color Petri nest; P/T net; Relating Matrix;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Distributed Computing and Applications to Business, Engineering & Science (DCABES), 2012 11th International Symposium on
Conference_Location :
Guilin
Print_ISBN :
978-1-4673-2630-8
Type :
conf
DOI :
10.1109/DCABES.2012.25
Filename :
6385331
Link To Document :
بازگشت