Analysis of discrete event systems by simulation of timed Petri net models

Authors:
Ernesto López-Mellado
Affiliations:
CINVESTAV Unidad Guadalajara, Prol. López Mateos sur 590, 45090 Guadalajara, Jalisco, Mexico
Venue:
Mathematics and Computers in Simulation
Year:
2002

Citing 3
Cited 3

Timed Petri net schedules

Advances in Petri Nets 1988
Distributed control systems simulation using high level Petri nets

IMACS Selected papers from the IMACS European conference on Simulation
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems

A Systematic Stochastic Petri Net Based Methodology for Transformer Fault Diagnosis and Repair Actions

Journal of Intelligent and Robotic Systems
Production-process modelling based on production-management data: a Petri-net approach

International Journal of Computer Integrated Manufacturing
An intelligent modeling and analysis method of manufacturing process using the first-order predicate logic

Computers and Industrial Engineering

Quantified Score

Hi-index	0.00

Visualization

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.