TY - GEN
T1 - Simulation of colored time Petri nets
AU - Zhang, Hongmei
AU - Liu, Fei
AU - Yang, Ming
AU - Li, Wei
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
KW - colored time Petri net
KW - simulation algorithm
KW - unfolding colored Petri net
UR - https://www.scopus.com/pages/publications/84894112880
U2 - 10.1109/ICInfA.2013.6720374
DO - 10.1109/ICInfA.2013.6720374
M3 - 会议稿件
AN - SCOPUS:84894112880
SN - 9781479913343
T3 - 2013 IEEE International Conference on Information and Automation, ICIA 2013
SP - 637
EP - 642
BT - 2013 IEEE International Conference on Information and Automation, ICIA 2013
T2 - 2013 IEEE International Conference on Information and Automation, ICIA 2013
Y2 - 26 August 2013 through 28 August 2013
ER -