Simulation of timed Petri net models

Author

Lopez-Mellado, Ernesto

Author_Institution

Fac. de Ciencias Fisico-Matematicas, Univ. Autonoma de Nuevo Leon, San Nicolas de los Garza, Mexico

Volume

3

fYear

1995

fDate

22-25 Oct 1995

Firstpage

2270

Abstract

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

Keywords

Petri nets; directed graphs; discrete event simulation; discrete event systems; deterministic case; discrete event dynamic systems; generalised timed transition Petri nets; re-entrant firing; steady state behaviour; timed Petri net models; transient behaviour; Delay effects; Discrete event systems; Discrete transforms; Equations; Fires; Performance analysis; Petri nets; Steady-state; Transient analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on

Conference_Location

Vancouver, BC

Print_ISBN

0-7803-2559-1

Type

conf

DOI

10.1109/ICSMC.1995.538118

Filename

538118