IDEAS home Printed from https://ideas.repec.org/a/eee/matcom/v67y2005i6p541-558.html
   My bibliography  Save this article

Modelling of batch production systems using Petri nets with dynamic tokens

Author

Listed:
  • López-Mellado, Ernesto
  • Villanueva-Paredes, Norma
  • Almeyda-Canepa, Hugo

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.

Suggested Citation

  • López-Mellado, Ernesto & Villanueva-Paredes, Norma & Almeyda-Canepa, Hugo, 2005. "Modelling of batch production systems using Petri nets with dynamic tokens," Mathematics and Computers in Simulation (MATCOM), Elsevier, vol. 67(6), pages 541-558.
    • Handle: RePEc:eee:matcom:v:67:y:2005:i:6:p:541-558
    DOI: 10.1016/j.matcom.2004.07.005
    as

    Download full text from publisher

    File URL: http://www.sciencedirect.com/science/article/pii/S037847540400237X
    Download Restriction: Full text for ScienceDirect subscribers only
    File URL: https://libkey.io/10.1016/j.matcom.2004.07.005?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:eee:matcom:v:67:y:2005:i:6:p:541-558. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Catherine Liu (email available below). General contact details of provider: http://www.journals.elsevier.com/mathematics-and-computers-in-simulation/ .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.