Advertisement

STOP – Specification Technique of Operational Processes

  • Stefan Einer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3147)

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.

Keywords

Automation System Operational Process Sequential Process Design Pattern Communication Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use, vol. 1, Springer, Heidelberg (1992)Google Scholar
  2. 2.
    Schnieder, E.: Methoden der Automatisierung. Vieweg, Braunschweig (1999)zbMATHGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Einer, S.: Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung. Fortschritt – Berichte VDI, Reihe 20, Nr. 373, VDI-Verlag Düsseldorf (2003)Google Scholar
  6. 6.
    ITU-T SG 10: MSC 2000, Recomendation Z.120 : Message Sequence Charts (MSC). ITU General Secretariat, Geneva (1999) Google Scholar
  7. 7.
    Partsch, H.: Requirements Engineering systematisch. Springer, Heidelberg (1998)Google Scholar
  8. 8.
    Starke, P.H.: Analyse von Petri-Netz-Modellen. Teubner Verlag (1990)Google Scholar
  9. 9.
    Kluge, O.: Compositional Semantics for Message Sequence Charts based on Petri Nets. Fakultät IV – Elektrotechnik und Informatik der Technischen Universität Berlin (2000)Google Scholar
  10. 10.
    Zacher, S. (ed.): Automatisierungstechnik kompakt Vieweg Verlag (2000)Google Scholar
  11. 11.
    Schnieder, E.: Prozessinformatik. Vieweg Verlag (1986)Google Scholar
  12. 12.
    Heidepriem, J.: Prozessinformatik. Oldenbourg-Verlag (2000)Google Scholar
  13. 13.
    Balzer, D., May, V., Müller, R., Schulze, K.-P.: Wissensbasierte Systeme in der Automatsierungstechnik. Carl-Hanser Verlag (1992)Google Scholar
  14. 14.
    DIN 19222: Leittechnik; Begriffe. Beuth Verlag (1985) Google Scholar
  15. 15.
    Litz, L.: Grundlagen der sicherheitsgerichteten Automatisierungstechnik. Übersichtsaufsatz in: at – Automatisierungstechnik 46 (1998) 2, R. Oldenbourg Verlag (1998)Google Scholar
  16. 16.
    Grams, T.: Grundlagen des Qualitäts- und Risikomanagements. Vieweg-Verlag (2001)Google Scholar
  17. 17.
    Ropohl, G.: Allgemeine Technologie – Eine Systemtheorie der Technik. Hanser (1999)Google Scholar
  18. 18.
    van Schrick, L.: Entepetives Management – Konstrukt, Konstruktion, Konzeption. Habilitationsschrift, Fachbereich Sicherheitstechnik der Bergischen Universität-Gesamthochschule Wuppertal (2001) Google Scholar
  19. 19.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Stefan Einer
    • 1
  1. 1.SBB – Swiss Federal Railways, InfrastructureBern 65

Personalised recommendations