Abstract
The formal technique STOP is a specific application of Coloured Petri Nets [1]. It serves as a methodical specification of operational processes in automation systems. Each concrete specification made by using STOP can be verified with regard to relative completeness and correctness. The present paper introduces the approach and the application domain of STOP as well as its technical characteristics. By discussing experiences made in application of STOP the theoretical introduction of STOP is additionally practically substantiated.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use, vol. 1, Springer, Heidelberg (1992)
Schnieder, E.: Methoden der Automatisierung. Vieweg, Braunschweig (1999)
Schnieder, E., Chouikha, M., Einer, S., Meyer zu Hörste, M.: BASYSNET – An Integrated Approach for Automated Control System Development. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, Springer, Heidelberg (2003)
Einer, S.: Ein Strukturierungsansatz für formale Techniken. In: Schnieder, E. (ed.): EKA 2003 – Entwurf komplexer Automatisierungssysteme, Institut für Verkehrssicherheit und Automatisierungstechnik, TU Braunschweig, Braunschweig (2003)
Einer, S.: Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung. Fortschritt – Berichte VDI, Reihe 20, Nr. 373, VDI-Verlag Düsseldorf (2003)
ITU-T SG 10: MSC 2000, Recomendation Z.120 : Message Sequence Charts (MSC). ITU General Secretariat, Geneva (1999)
Partsch, H.: Requirements Engineering systematisch. Springer, Heidelberg (1998)
Starke, P.H.: Analyse von Petri-Netz-Modellen. Teubner Verlag (1990)
Kluge, O.: Compositional Semantics for Message Sequence Charts based on Petri Nets. Fakultät IV – Elektrotechnik und Informatik der Technischen Universität Berlin (2000)
Zacher, S. (ed.): Automatisierungstechnik kompakt Vieweg Verlag (2000)
Schnieder, E.: Prozessinformatik. Vieweg Verlag (1986)
Heidepriem, J.: Prozessinformatik. Oldenbourg-Verlag (2000)
Balzer, D., May, V., Müller, R., Schulze, K.-P.: Wissensbasierte Systeme in der Automatsierungstechnik. Carl-Hanser Verlag (1992)
DIN 19222: Leittechnik; Begriffe. Beuth Verlag (1985)
Litz, L.: Grundlagen der sicherheitsgerichteten Automatisierungstechnik. Übersichtsaufsatz in: at – Automatisierungstechnik 46 (1998) 2, R. Oldenbourg Verlag (1998)
Grams, T.: Grundlagen des Qualitäts- und Risikomanagements. Vieweg-Verlag (2001)
Ropohl, G.: Allgemeine Technologie – Eine Systemtheorie der Technik. Hanser (1999)
van Schrick, L.: Entepetives Management – Konstrukt, Konstruktion, Konzeption. Habilitationsschrift, Fachbereich Sicherheitstechnik der Bergischen Universität-Gesamthochschule Wuppertal (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Einer, S. (2004). STOP – Specification Technique of Operational Processes. In: Ehrig, H., et al. Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science, vol 3147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27863-4_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-27863-4_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23135-6
Online ISBN: 978-3-540-27863-4
eBook Packages: Springer Book Archive