Location of Repository

Petri Net Models in Batch Control

By M. Tittus and K. Åkesson

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

Year: 1999
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.737
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://s2.chalmers.se/~tittus/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.