Model concepts in automation technology;Modellkonzepte in der Automatisierungstechnik

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-1, Issue , 2001, Pages 7-17

  Schnieder, Eckehard ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 18944387552     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. [AFSC00] Ahrens, W.; Felleisen, M.; Schnieder, E.; Chouikha, M.: Formale Prozessbeschreibung - gestern, heute und morgen. atp 9/2000.
2. [BG00] Broy, M.; Grosu, R.: Methodische Fundierung echtzeitkritischer Systeme auf Basis praxisnaher Beschreibungen. SPP „Software-Spezifikation“DfG.
3. [Bu97] Buchner, H.: Grundlagen der nichtmetrischen Prozessbeschreibung als Basis der informationsorientierten leittechnischen Modellbildung. Dissertation, RWTH Aachen, Aachen.
4. [Cr96] Cramer: Der Zeitbaum. Grundlegung einer allgemeinen Zeittheorie; Insel 1996.
5. [ESS94] Erdmann, L.; Schnieder, E.; Schielke, A.: Referenzmodell zur Strukturierung von Leitsystemen. at - Automatisierungstechnik 5/94.
6. [Ge98] Genrich, H. J.: Experimental Symbolic Analysis of Net Systems. Workshop on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus 1998.
7. [PLB93] Polke, M.; Lauber, I.; Buchner, H.: Das Informationsmodell: Basis für die interdisziplinäre Prozeßbeschreibung. Entwurf komplexer Automatisierungssysteme, Braunschweig, 1993.
8. [PPR95] Polke, B.; Polke, R.; Rauprich, G.: Erweiterung des Phasenmodells zur integrierten Beschreibung von Material- und Energieströmen. atp 9/95 p. 28.
9. [Sc86] Schnieder, E.: Prozessinformatik. Vieweg 1986.
10. [Sc99a] Schnieder, E.: Methoden der Automatisierung, Vieweg 1999.
11. [Sc99b] Evolution von Entwicklungswerkzeugen der Automatisierungstechnik. EKA 99.
12. [Sc00] Schnieder, E.: Die Idealisierung des Kontinuierlichen - zur Modellierung kontinuierlich-diskreten Verhaltens in der Automatisierungstechnik und Informatik. 45. Internationales Wissenschaftliches Kolloquium, Ilmenau, 04.-6.10.2000.
13. [Wi91] Willems, J. C.: Paradigms and Puzzles in the theory of dynamical systems. IEEE Transactions on automatic control, vol. 36, N. 3, March 1991