Advertisement

Which Theory Matches Automation Engineering?

Petri Nets as a Formal Basis
  • E. Schnieder
Chapter
  • 151 Downloads
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 167)

Abstract

Automated systems are economically successful; however, many problems in this technical field still remain to be solved. This is surely due to the complexity of the problems of automation technology and furthermore due to the many disciplines involved, which finally leads to a great deal of heterogeneity. At present, no abstract theory exists that allows the integration of the many different aspects of this discipline. This chapter will analyze the situation in automation technology, refer to other developed and theoretically based related technical domains and specify requirements for a theory of automation technology. Furthermore, the chapter will investigate whether a net theory can meet these requirements and will discuss the realization of this theory.

Keywords

Automate System System Axiom Reachability Graph Causal Principle Automation Technology 
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.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Steusloff, H.: Systemengineering für die industrielle Automation. Automatisierungstechnische Praxis 32, 129, 1990Google Scholar
  2. [2]
    Zemanek, H.: Gedanken zum Systementwurf. in Maier-Leibnitz, K (Ed.):Zeugpn des Wissens, Mainz, Hase & Köhler, 1986Google Scholar
  3. [3]
    Dieter Lorenz, Jürgen Schmid: Methoden für eine ganzheitliche Technikgestaltung. FhG-Berichte 2, 1988Google Scholar
  4. [4]
    Rohpohl, G.: Eine Systemtheorie der Technik., München-Wien, Hanser Verlag, 1979Google Scholar
  5. [5]
    Wunsch, G.: Eine Geschichte der Systemtheorie. München-Wien, Oldenburg VerlagGoogle Scholar
  6. [6]
    Schnieder, E.: Prozessinformatik. Braunschweig, Vieweg, 1986Google Scholar
  7. [7]
    Smith, E.: Kausalität und Temporalität bei der Modellbildung, 4. Symposium Simulationstechnik, Informatik-Fachberichte 150, S. 127–134. Zürich, Springer 1987Google Scholar
  8. [8]
    Petri, C.A.: Kommunikation MIT Automaten. Schriften des rhein.-westfäl. Instituts für instrwnentelle Mathcmatik an der Universität Bonn. Nr. 2, Bonn 1962Google Scholar
  9. [9]
    Bibliography of Petri nets. ISSN 0723-0508. Arbeitspapiere der GMD 315, 1988Google Scholar
  10. [10]
    Jensen, K.: Coloured Petri Nets. In Brauer, W., Reisig, W. und Rosenberg, G (Eds.): Petrinets: Applications and relationship to other models of concurrency. LNCS 255, S.248–299, Berlin-Heidelberg-New York, Springer, 1987Google Scholar
  11. [11]
    Leszak, M., Eggert, H.: Petri-Netze-Methoden und Werkzeuge. Informatik Fachberichte; Berlin-Heidelberg-New York, Springer 1987Google Scholar
  12. [12]
    König, R., Quäck, L.: Petri-Netze in der Steuerungs-und Digitaltechnik. München-Wien, Oldenburg Verlag, 1988zbMATHGoogle Scholar
  13. [13]
    Ajmone Marsan, M, Chiola, G.: Petri Nets with Deterministic and Exponentially Distributed Firing Times. In Rozenberg, G. (Eds.): Advances in Petri Nets LNCS 266, pp.132–145, Berlin-Heidelberg-New York, Springer, 1987Google Scholar
  14. [14]
    Lipp, H. u.a.: Unscharfe Petri-Netze. Wiss. Schriftenreihe der TU Karl-Marx-Stadt 7, 1989Google Scholar
  15. [15]
    Quäck, L.: Aspekte der Modellierung und Realisierung steuerung-stechnischer Prozesse mit Petri-Netzen, Automatisierungstechnik 4, 116–120, 5, 158–164, 1990Google Scholar
  16. [16]
    Abel, D.: Modellbildung und Analyse ereignis-orientierter Systeme mit Petri-Netzen. Fortschritt-Berichte VDI Nr. 142, VDI-Verlag, Düsseldorf, 1987Google Scholar
  17. [17]
    Schnieder, E. u.a.: Analyse und Simulation von Verkehrssystemen mit Petri-Netzen am Beispiel der H-Bahn. Eisenbahntechnische Rundschau 30, 409–413, 1981Google Scholar
  18. [18]
    Müller, T.: Nutzung von Petri-Netzen bei Entwurf und Verifikation eines SKR-softwarekompatiblen 16-Bit-Mikrorechnersystems. Dissertation (in prep) TU Dresden 1990Google Scholar
  19. [19]
    Franz, V.: Planung und Steuerung komplexer Bauprozesse durch Simulation mit modifizierten hoheren Petri-Netzen. Dissertation, Gesamthochschule Universitat Kassel 1989Google Scholar
  20. [20]
    Schnieder, E., Gückel, H.: Petri-Netze in der Automatisierungstechnik. Automatisierungstechnik 5, 173–181 and 6, 234–241, 1989Google Scholar
  21. [21]
    Reisig, W.: Systementwurf mit Netzen. Berlin-Heidelberg-New York, Springer, 1985zbMATHGoogle Scholar
  22. [22]
    Jessen, E., Valk, R.: Rechensysteme-Grundlagen der Modellbildung. Berlin-Heidelberg-New York, Springer, 1986Google Scholar
  23. [23]
    Rosenstengel, B.: Entwicklung eines Netz-Modells zur Erfassung einer petrochemischen Produktion. Bergisch Gladbach-Köln, Josef Eul Verlag, 1985Google Scholar

Further reading

  1. A. Kündig, R.E. Bührer and I. Dahler: “Embedded Systems”, Berlin-Heidelberg-New York, Springer, 1986Google Scholar
  2. X. Cao, Y Ho: “Models of Discrete Event Dynamic Systmes”, IEEE Control Systems Magazine, 6, 69–76, 1990CrossRefGoogle Scholar
  3. T. Stonier: “Information and the Internal Structure of the Univers”, Berlin-Heidelberg-New York, Springer, 1990Google Scholar
  4. T. Murata: “Petri Nets, properties, analysis and applications”, Proc. IEEE, 77, 541–580, 1989CrossRefGoogle Scholar
  5. J. L. Peterson: “Petri Net Theory and the Modelling of Systems”, Englewood Cliffs, NJ, Prentice-Hall, 1981zbMATHGoogle Scholar
  6. S. Chen, J. Ke and J. Chang: “Knowledge Representation Using Fuzzy Petri Nets”, IEEE Trans. Knowledge and Data Eng. 2, 311–319, 1990.CrossRefGoogle Scholar

Copyright information

© Kluwer Academic Publishers 1992

Authors and Affiliations

  • E. Schnieder
    • 1
  1. 1.Institut für Regelungs- und AutomatisierungstechnikTechnische Universitat BraunschweigBraunschweig

Personalised recommendations

Cite chapter

Buy options