Simulation of timed Petri net models

In the design and analysis of discrete event dynamic systems, the validation of their models is often addressed via simulation; this allows one to analyse both the transient and the steady state behaviour of the modelled system. This paper deals with simulation of timed Petri net based models; the author presents an efficient algorithm for the execution of generalised timed transition Petri nets (TTPN); the deterministic case is addressed. The algorithm copes with the most general case of bounded TTPN allowing re-entrant firing of transitions