Modelling of batch production systems using Petri nets with dynamic tokens

Ernesto López-Mellado, Norma Villanueva-Paredes and Hugo Almeyda-Canepa

Mathematics and Computers in Simulation (MATCOM), 2005, vol. 67, issue 6, 541-558

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.

Keywords: Batch processes modelling; Multi-level Petri nets; Agent-based software specification (search for similar items in EconPapers)
Date: 2005
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S037847540400237X
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:67:y:2005:i:6:p:541-558

DOI: 10.1016/j.matcom.2004.07.005

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().