Abstract
The paper presents a method for the verification of control procedures which are based on so-called recipes. The concept of recipes is widely used in the control of multipurpose chemical batch plants which are very similar to Flexible Manufacturing Systems.
The recipes as well as the plant description are transformed into Predicate/Transition nets (abbr.: Pr/T nets). The Pr/T net can be tested either by simulation or by analysis based on the computation of the occurence graph. Several formal net properties (conflicts, deadlocks etc.) indicate desired or critical behavior of the controlled batch plant.
An illustrative example shows the complexity of the problem as well as the transformation into Pr/T nets and the results of the analysis which was performed by Design/CPN.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Engell S.; Wöllhaf, K.: Dynamic simulation of batch plants, Proc. European Symposium on Computer Aided Process Engineering-3 (ESCAPE-3), Graz, 439–444, (1993).
Genrich, H. J.; Shapiro, R.M.: Hazard Analysis. Technical Report, Meta Software Corporation (Nov. 1993).
Hanisch, H.-M.: Petri-Netze in der Verfahrenstechnik. Muenchen/Wien: Oldenbourg-Verlag (1992).
Hanisch, H.-M.: Analysis of Place/Transition Nets with Timed Arcs and Its Application to Batch Process Control. LNCS 691, Berlin: Springer-Verlag (1993).
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Berlin: Springer-Verlag (1992).
Mergen, R.J.: Batch Control Systems Standards. An Update on ISA/SP88. Wickliffe, Ohio 1990.
Meta Software Corporation: Design/CPN Reference Manual. Version 2.0 (1993).
Meta Software Corporation: The Design/CPN Occurrence Graph Analyzer. Version 0.3 (1992).
NAMUR-Empfehlung: Anforderungen an Systeme zur Rezeptfahrweise (Requirements for Batch Control Systems). NAMUR AK 2.3 Funktionen der Betriebs-und Produktionsleitebene (1992).
Uhlig, R.J.: Erstellen von Ablaufsteuerungen für Chargenprozesse mit wechselnden Rezepturen (Development of sequential controllers for batch processes with variable recipes). Automatisierungstechnische Praxis 29, 17–23 (1987).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Genrich, H.J., Hanisch, HM., Wöllhaf, K. (1994). Verification of recipe-based control procedures by means of predicate/transition nets. In: Valette, R. (eds) Application and Theory of Petri Nets 1994. ICATPN 1994. Lecture Notes in Computer Science, vol 815. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58152-9_16
Download citation
DOI: https://doi.org/10.1007/3-540-58152-9_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58152-9
Online ISBN: 978-3-540-48462-2
eBook Packages: Springer Book Archive