Analysis of discrete event systems by simulation of timed Petri net models
@article{LpezMellado2002AnalysisOD,
title={Analysis of discrete event systems by simulation of timed Petri net models},
author={Ernesto L{\'o}pez-Mellado},
journal={Mathematics and Computers in Simulation},
year={2002},
volume={61},
pages={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 models; we present efficient algorithms for the execution of TPNs; the deterministic case is addressed for both place and transition TPNs. The proposed algorithms cope with bounded generalised TPN allowing re… CONTINUE READING