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
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;
Conference_Titel :
Information and Automation (ICIA), 2013 IEEE International Conference on
Conference_Location :
Yinchuan
DOI :
10.1109/ICInfA.2013.6720374
