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-entrant firing of transitions.
%0 Journal Article
%1 citeulike:98133
%A Lopez-Mellado, Ernesto
%D 2002
%J Mathematics and Computers in Simulation
%K citeulike nets, petri, petri-nets, petrinets, simulation
%N 1
%P 53--59
%R 10.1016/s0378-4754(02)00137-4
%T Analysis of discrete event systems by simulation of timed Petri net models
%U http://dx.doi.org/10.1016/s0378-4754(02)00137-4
%V 61
%X 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-entrant firing of transitions.
@article{citeulike:98133,
abstract = {{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-entrant firing of transitions.}},
added-at = {2017-09-08T10:52:59.000+0200},
author = {Lopez-Mellado, Ernesto},
biburl = {https://www.bibsonomy.org/bibtex/24f07ce8cbfe24e8a53075cdb92ddfa0e/fernand0},
citeulike-article-id = {98133},
citeulike-linkout-0 = {http://dx.doi.org/10.1016/s0378-4754(02)00137-4},
citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B6V0T-470KRBM-4/2/05aa52fb688b7d0620e69f08de1cb329},
day = 01,
doi = {10.1016/s0378-4754(02)00137-4},
interhash = {db03227de882381383374336823e0777},
intrahash = {4f07ce8cbfe24e8a53075cdb92ddfa0e},
journal = {Mathematics and Computers in Simulation},
keywords = {citeulike nets, petri, petri-nets, petrinets, simulation},
month = nov,
number = 1,
pages = {53--59},
posted-at = {2005-02-18 11:59:00},
priority = {0},
timestamp = {2017-09-08T10:53:23.000+0200},
title = {{Analysis of discrete event systems by simulation of timed Petri net models}},
url = {http://dx.doi.org/10.1016/s0378-4754(02)00137-4},
volume = 61,
year = 2002
}