López-Mellado, Ernesto - In: Mathematics and Computers in Simulation (MATCOM) 61 (2002) 1, pp. 53-59
In the design and analysis of discrete event dynamic systems, the validation of their models is often addressed via simulation; this allows to analyse both the transient and the steady state behaviour of the modelled system. This article deals with simulation of timed Petri net (TPN)-based...