Abstract
The paper presents an analysis method for Place/Transition nets with timing of arcs directing from places to transitions. Based on this class of timed nets, the corresponding state graph, called dynamic graph, and a method to compute the state graph are defined.
By means of the dynamic graph, the complete dynamic behaviour of the modeled system can be studied, objective functions can be formulated, and optimal control strategies can be computed. The concept is applied to two different problems of supervisory control of batch plants in the chemical industry.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Hanisch, H.-M.: Dynamik von Koordinierungssteuerungen in diskontinuierlichen verfahrenstechnischen Systemen. at-Automatisierungstechnik 38 (1990), 399–405.
Hanisch, H.-M.: Coordination control modelling in batch production systems by means of Petri nets. Computers and Chemical Engineering, 16 (1992), 1–10.
Hanisch, H.-M.: Petri-Netze in der Verfahrenstechnik. Modellierung und Steuerung verfahrenstechnischer Systeme. R. Oldenbourg Verlag, 1992.
Hanisch, H.-M.: Berechnung optimaler diskreter Koordinierungssteuerungen auf der Grundlage zeitbewerteter Petri-Netze. at-Automatisierungstechnik 40 (1992), 384–390.
Helms, A.; Hanisch, H.-M.: Darstellung einer diskreten Steuerungsaufgabe für flexible Mehrproduktenanlagen mit Hilfe von Petri-Netzen. Chemische Technik 37 (1985), 236–239.
Helms, A.; Hanisch, H.-M.; Stephan, K.: Steuerung von Chargenprozessen. Verlag Technik, Berlin, 1989.
Holloway, L.E.; Krogh, B.H.: Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on automatic control, Vol. 35, No. 5, May 1990, 514–523.
Le Bail, J.; Alla, H.; David, R.: Hybrid Petri Nets. Proceedings of the European Control Conference, Hermes, Paris, 1991, 1472–1477.
Quäck, L.: Aspekte der Modellierung und Realisierung der Steuerung technologischer Prozesse mit Petri-Netzen. at-Automatisierungstechnik 39 (1991), 116–120, 158–164.
Ramadge, P.J.; Wonham, W.M.: The Control of Discrete Event Systems. Proceedings of the IEEE, Vol. 77, No.l, 1989, pp. 81–98.
Ramchandani, C.: Analysis of asynchronuos concurrent systems by timed Petri nets. MIT, Project MAC, Technical Report 120, 1974.
Starke, P.: Analyse von Petri-Netz-Modellen. B.G. Teubner, Stuttgart, 1990.
Starke, P.: ATNA-Arc Timed Net Analyser. Petri Net Newsletter 37, Dezember 1990, 27–33.
Thiemicke, K.; Hanisch, H.-M.: Prozeßanalyse einer diskontinuierlichen Anlage zur Kunstharzproduktion mit Petri-Netzen. MSR, Berlin, 34 (1991), 416–419.
Yamalidou, E.C.; Patsidou, E.P. and Kantor, J.: Modelling discrete-event systems for chemical process control — a survey of several new techniques. Computers and Chemical Engineering 14 (1990), 281–299.
Yamalidou, E.C.; Kantor, J.: Modelling and optimal control of discrete-event chemical processes using Petri nets. Computers and Chemical Engineering 15 (1990), 503–519.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hanisch, HM. (1993). Analysis of place/transition nets with timed arcs and its application to batch process control. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_52
Download citation
DOI: https://doi.org/10.1007/3-540-56863-8_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56863-6
Online ISBN: 978-3-540-47759-4
eBook Packages: Springer Book Archive