Modelling of batch production systems using Petri nets with dynamic tokens

Authors:
Ernesto López-Mellado;Norma Villanueva-Paredes;Hugo Almeyda-Canepa
Affiliations:
CINVESTAV-IPN Unidad Guadalajara, Prol. López Mateos Sur 590, 45090 Guadalajara, Jal., Mexico;CINVESTAV-IPN Unidad Guadalajara, Prol. López Mateos Sur 590, 45090 Guadalajara, Jal., Mexico;CINVESTAV-IPN Unidad Guadalajara, Prol. López Mateos Sur 590, 45090 Guadalajara, Jal., Mexico
Venue:
Mathematics and Computers in Simulation
Year:
2005

Citing 6
Cited 0

S88 Implementation Guide

S88 Implementation Guide
Modeling, Simulation and Analysis of Batch Production Systems

Discrete Event Dynamic Systems
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets

Proceedings of the International Sympoisum on Semantics of Concurrent Computation
From Coloured Petri Nets to Object Petri Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Petri Nets as Token Objects: An Introduction to Elementary Object Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Cooperative Nets

Proceedings of the 15th International Conference on Application and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article deals with the qualitative modelling of batch production plants. The approach held is Petri net based. First a definition of a three-level net formalism is presented; the formalism extends the Valk's approach of nets in nets in which the tokens are other nets; in this extension the lower level net handles symbolic tokens. Then a methodology for the modelling of batch processes is proposed; in this methodology the upper level describes the plant layout, the next level models an entity that goes with the batch through the plant and specifies the material and the process routes that the batch must follow, and the third level represents detailed treatments to perform into the process cells using specific equipment. The use of the modelling formalism is illustrated through an example dealing with the coordination of a batch manufacturing system.