Petri Net Models in Batch Control

Michael Tittus and Knut Åkesson

Mathematical and Computer Modelling of Dynamical Systems, 1999, vol. 5, issue 2, 113-132

Abstract: A Petri-net based approach for the modeling of batch plants as well as products is presented. The different units of a plant are modeled as bounded Petri nets and products are represented by way of their recipes.With the focus on synchronization and booking issues arising when merging and splitting material flows, we propose general Petri net building-blocks for the construction of these recipes. Both resource and recipe models support formal supervisor synthesis for dynamic resource allocation according to the Ramadge-Wonham framework.

Date: 1999
References: Add references at CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1076/mcmd.5.2.113.6173 (text/html)
Access to full text is restricted to subscribers.

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:taf:nmcmxx:v:5:y:1999:i:2:p:113-132

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/NMCM20

DOI: 10.1076/mcmd.5.2.113.6173

Access Statistics for this article

Mathematical and Computer Modelling of Dynamical Systems is currently edited by I. Troch

More articles in Mathematical and Computer Modelling of Dynamical Systems from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().