DocumentCode
3006178
Title
Simulation of colored time Petri nets
Author
Hongmei Zhang ; Fei Liu ; Ming Yang ; Wei Li
Author_Institution
Control & Simulation Center, Harbin Inst. of Technol., Harbin, China
fYear
2013
fDate
26-28 Aug. 2013
Firstpage
637
Lastpage
642
Abstract
This paper presents a simulation algorithm to analyze a type of colored time Petri nets, in which a time interval is associated with each transition. Specifically, we first unfold colored time Petri nets to standard time Petri nets and then develop a simulation algorithm of time Petri nets to realize the simulation of colored time Petri nets. A model of a real system is used to demonstrate and validate our approach.
Keywords
Petri nets; simulation; colored time Petri nets; simulation algorithm; time interval; Algorithm design and analysis; Analytical models; Belts; Color; Petri nets; Robots; Standards; colored time Petri net; simulation algorithm; unfolding colored Petri net;
fLanguage
English
Publisher
ieee
Conference_Titel
Information and Automation (ICIA), 2013 IEEE International Conference on
Conference_Location
Yinchuan
Type
conf
DOI
10.1109/ICInfA.2013.6720374
Filename
6720374
Link To Document