DocumentCode
527841
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
Volume
6
fYear
2010
fDate
10-12 Aug. 2010
Firstpage
3234
Lastpage
3237
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Natural Computation (ICNC), 2010 Sixth International Conference on
Conference_Location
Yantai, Shandong
Print_ISBN
978-1-4244-5958-2
Type
conf
DOI
10.1109/ICNC.2010.5584594
Filename
5584594
Link To Document