Simulation of colored time Petri nets

Hongmei Zhang,Fei Liu,Ming Yang,Wei Li
DOI: https://doi.org/10.1109/ICInfA.2013.6720374
2013-01-01
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.
What problem does this paper attempt to address?