Title :
The equivalent transformation and algorithm from Coloured Petri Net to P/T net
Author :
Tang Pei-he ; Han Jun-Feng ; Wei Qiong ; Liu, Hao
Author_Institution :
Guangxi Univ. of Technol., Liuzhou, China
Abstract :
This paper provides credible evidence that any Coloured Petri Net can be equivalently variated into a Place/Transition Net. The algorithm of this transformation has been given and its feasibility also has been tested. It also offers a method analyzing the properties of the coloured Petri Net using the analysis technology for Place/Transition Nets.
Keywords :
Petri nets; graph colouring; P-T Net; coloured Petri net; equivalent transformation; place transition net; Algorithm design and analysis; Analytical models; Color; Computational modeling; Finite element methods; Petri nets; System recovery; Algorithm; Coloured Petri Net; Equivalent Transformation; Place/TransitionNet;
Conference_Titel :
Natural Computation (ICNC), 2010 Sixth International Conference on
Conference_Location :
Yantai, Shandong
Print_ISBN :
978-1-4244-5958-2
DOI :
10.1109/ICNC.2010.5584594
