Which Theory Matches Automation Engineering?
- 151 Downloads
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 TechnologyPreview
Unable to display preview. Download preview PDF.
References
- [1]Steusloff, H.: Systemengineering für die industrielle Automation. Automatisierungstechnische Praxis 32, 129, 1990Google Scholar
- [2]Zemanek, H.: Gedanken zum Systementwurf. in Maier-Leibnitz, K (Ed.):Zeugpn des Wissens, Mainz, Hase & Köhler, 1986Google Scholar
- [3]Dieter Lorenz, Jürgen Schmid: Methoden für eine ganzheitliche Technikgestaltung. FhG-Berichte 2, 1988Google Scholar
- [4]Rohpohl, G.: Eine Systemtheorie der Technik., München-Wien, Hanser Verlag, 1979Google Scholar
- [5]Wunsch, G.: Eine Geschichte der Systemtheorie. München-Wien, Oldenburg VerlagGoogle Scholar
- [6]Schnieder, E.: Prozessinformatik. Braunschweig, Vieweg, 1986Google Scholar
- [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]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]Bibliography of Petri nets. ISSN 0723-0508. Arbeitspapiere der GMD 315, 1988Google 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, 1987Google Scholar
- [11]Leszak, M., Eggert, H.: Petri-Netze-Methoden und Werkzeuge. Informatik Fachberichte; Berlin-Heidelberg-New York, Springer 1987Google Scholar
- [12]König, R., Quäck, L.: Petri-Netze in der Steuerungs-und Digitaltechnik. München-Wien, Oldenburg Verlag, 1988zbMATHGoogle 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, 1987Google Scholar
- [14]Lipp, H. u.a.: Unscharfe Petri-Netze. Wiss. Schriftenreihe der TU Karl-Marx-Stadt 7, 1989Google Scholar
- [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]Abel, D.: Modellbildung und Analyse ereignis-orientierter Systeme mit Petri-Netzen. Fortschritt-Berichte VDI Nr. 142, VDI-Verlag, Düsseldorf, 1987Google Scholar
- [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]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]Franz, V.: Planung und Steuerung komplexer Bauprozesse durch Simulation mit modifizierten hoheren Petri-Netzen. Dissertation, Gesamthochschule Universitat Kassel 1989Google Scholar
- [20]Schnieder, E., Gückel, H.: Petri-Netze in der Automatisierungstechnik. Automatisierungstechnik 5, 173–181 and 6, 234–241, 1989Google Scholar
- [21]Reisig, W.: Systementwurf mit Netzen. Berlin-Heidelberg-New York, Springer, 1985zbMATHGoogle Scholar
- [22]Jessen, E., Valk, R.: Rechensysteme-Grundlagen der Modellbildung. Berlin-Heidelberg-New York, Springer, 1986Google Scholar
- [23]Rosenstengel, B.: Entwicklung eines Netz-Modells zur Erfassung einer petrochemischen Produktion. Bergisch Gladbach-Köln, Josef Eul Verlag, 1985Google Scholar
Further reading
- A. Kündig, R.E. Bührer and I. Dahler: “Embedded Systems”, Berlin-Heidelberg-New York, Springer, 1986Google Scholar
- X. Cao, Y Ho: “Models of Discrete Event Dynamic Systmes”, IEEE Control Systems Magazine, 6, 69–76, 1990CrossRefGoogle Scholar
- T. Stonier: “Information and the Internal Structure of the Univers”, Berlin-Heidelberg-New York, Springer, 1990Google Scholar
- T. Murata: “Petri Nets, properties, analysis and applications”, Proc. IEEE, 77, 541–580, 1989CrossRefGoogle Scholar
- J. L. Peterson: “Petri Net Theory and the Modelling of Systems”, Englewood Cliffs, NJ, Prentice-Hall, 1981zbMATHGoogle Scholar
- 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