Skip to main content

Which Theory Matches Automation Engineering?

Petri Nets as a Formal Basis

  • Chapter
  • 195 Accesses

Part of the book series: The Springer International Series in Engineering and Computer Science ((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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   249.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Steusloff, H.: Systemengineering für die industrielle Automation. Automatisierungstechnische Praxis 32, 129, 1990

    Google Scholar 

  2. Zemanek, H.: Gedanken zum Systementwurf. in Maier-Leibnitz, K (Ed.):Zeugpn des Wissens, Mainz, Hase & Köhler, 1986

    Google Scholar 

  3. Dieter Lorenz, Jürgen Schmid: Methoden für eine ganzheitliche Technikgestaltung. FhG-Berichte 2, 1988

    Google Scholar 

  4. Rohpohl, G.: Eine Systemtheorie der Technik., München-Wien, Hanser Verlag, 1979

    Google Scholar 

  5. Wunsch, G.: Eine Geschichte der Systemtheorie. München-Wien, Oldenburg Verlag

    Google Scholar 

  6. Schnieder, E.: Prozessinformatik. Braunschweig, Vieweg, 1986

    Google Scholar 

  7. Smith, E.: Kausalität und Temporalität bei der Modellbildung, 4. Symposium Simulationstechnik, Informatik-Fachberichte 150, S. 127–134. Zürich, Springer 1987

    Google Scholar 

  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 1962

    Google Scholar 

  9. Bibliography of Petri nets. ISSN 0723-0508. Arbeitspapiere der GMD 315, 1988

    Google Scholar 

  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, 1987

    Google Scholar 

  11. Leszak, M., Eggert, H.: Petri-Netze-Methoden und Werkzeuge. Informatik Fachberichte; Berlin-Heidelberg-New York, Springer 1987

    Google Scholar 

  12. König, R., Quäck, L.: Petri-Netze in der Steuerungs-und Digitaltechnik. München-Wien, Oldenburg Verlag, 1988

    MATH  Google Scholar 

  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, 1987

    Google Scholar 

  14. Lipp, H. u.a.: Unscharfe Petri-Netze. Wiss. Schriftenreihe der TU Karl-Marx-Stadt 7, 1989

    Google Scholar 

  15. Quäck, L.: Aspekte der Modellierung und Realisierung steuerung-stechnischer Prozesse mit Petri-Netzen, Automatisierungstechnik 4, 116–120, 5, 158–164, 1990

    Google Scholar 

  16. Abel, D.: Modellbildung und Analyse ereignis-orientierter Systeme mit Petri-Netzen. Fortschritt-Berichte VDI Nr. 142, VDI-Verlag, Düsseldorf, 1987

    Google Scholar 

  17. Schnieder, E. u.a.: Analyse und Simulation von Verkehrssystemen mit Petri-Netzen am Beispiel der H-Bahn. Eisenbahntechnische Rundschau 30, 409–413, 1981

    Google Scholar 

  18. Müller, T.: Nutzung von Petri-Netzen bei Entwurf und Verifikation eines SKR-softwarekompatiblen 16-Bit-Mikrorechnersystems. Dissertation (in prep) TU Dresden 1990

    Google Scholar 

  19. Franz, V.: Planung und Steuerung komplexer Bauprozesse durch Simulation mit modifizierten hoheren Petri-Netzen. Dissertation, Gesamthochschule Universitat Kassel 1989

    Google Scholar 

  20. Schnieder, E., Gückel, H.: Petri-Netze in der Automatisierungstechnik. Automatisierungstechnik 5, 173–181 and 6, 234–241, 1989

    Google Scholar 

  21. Reisig, W.: Systementwurf mit Netzen. Berlin-Heidelberg-New York, Springer, 1985

    MATH  Google Scholar 

  22. Jessen, E., Valk, R.: Rechensysteme-Grundlagen der Modellbildung. Berlin-Heidelberg-New York, Springer, 1986

    Google Scholar 

  23. Rosenstengel, B.: Entwicklung eines Netz-Modells zur Erfassung einer petrochemischen Produktion. Bergisch Gladbach-Köln, Josef Eul Verlag, 1985

    Google Scholar 

Further reading

  • A. Kündig, R.E. Bührer and I. Dahler: “Embedded Systems”, Berlin-Heidelberg-New York, Springer, 1986

    Google Scholar 

  • X. Cao, Y Ho: “Models of Discrete Event Dynamic Systmes”, IEEE Control Systems Magazine, 6, 69–76, 1990

    Article  Google Scholar 

  • T. Stonier: “Information and the Internal Structure of the Univers”, Berlin-Heidelberg-New York, Springer, 1990

    Google Scholar 

  • T. Murata: “Petri Nets, properties, analysis and applications”, Proc. IEEE, 77, 541–580, 1989

    Article  Google Scholar 

  • J. L. Peterson: “Petri Net Theory and the Modelling of Systems”, Englewood Cliffs, NJ, Prentice-Hall, 1981

    MATH  Google Scholar 

  • S. Chen, J. Ke and J. Chang: “Knowledge Representation Using Fuzzy Petri Nets”, IEEE Trans. Knowledge and Data Eng. 2, 311–319, 1990.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Kluwer Academic Publishers

About this chapter

Cite this chapter

Schnieder, E. (1992). Which Theory Matches Automation Engineering?. In: Schiebe, M., Pferrer, S. (eds) Real-Time Systems Engineering and Applications. The Springer International Series in Engineering and Computer Science, vol 167. Springer, Boston, MA. https://doi.org/10.1007/978-0-585-32314-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-0-585-32314-5_4

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-0-7923-9196-8

  • Online ISBN: 978-0-585-32314-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics