Simulation of Time Petri Nets

Hongmei Zhang,Fei Liu,Ming Yang,Wei Li
DOI: https://doi.org/10.1109/ICSEM.2013.7
2013-01-01
Abstract:This paper describes time Petri nets and their simulation. Specifically, it presents a simulation algorithm of time Petri nets, in which a time interval is associated with each transition. Through analyzing and calculating places' vector and transitions' time interval, constructing the reachable state graph, identifying the states of system and drawing places' waveform. Then give an example for application and to verify the method.
What problem does this paper attempt to address?