Modeling and validation of hybrid systems using extended timestamp nets

At-Automatisierungstechnik

Volumn 49, Issue 2, 2001, Pages 60-65

  Hanisch, Hans Michael ^a   Lautenbach, Kurt ^b   Simon, Carlo ^b   Jan, Thieme ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

^b Institute of Software Technology ^*  (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0012447589     PISSN: 01782312     EISSN: None     Source Type: Journal    
DOI: 10.1524/auto.2001.49.2.60     Document Type: Article

References (10)

1. R. Alur and T. A. Henzinger: Logics and Models of Real Time: a Survey. J. W. de Bakker, C. Huizing, W. P. de Roever and G. Rozenberg. Real Time: Theory in Practice LNCS 600, S.74-106, Mook, The Netherlands, Springer, 1992.
2. C. Simon and J. Thieme: Transformation zeitbewerteter Netzmodelle. Preprint 3/99, Fakultät Elektrotechnik, Otto-von-Guericke-Universität Magdeburg, Dezember 1999.
3. K. Lautenbach and C. Simon: Erweiterte Zeitstempelnetze zur Modellierung hybrider Systeme. Fachberichte Informatik 399, Universität Koblenz-Landau, Mai 1999.
4. R. David and H. Alla: Petri Nets and Grafcet - Tools for modelling discrete event systems. Prentice Hall, London, 1992.
5. H.-M. Hanisch, K. Lautenbach, C. Simon and J. Thieme: Timestamp Petri Nets in Technical Applications. International Workshop on Discrete Event Systems, WODES '98, 26-28 August 1998, Cagliari, Proceedings pp. 321-326.
6. H.-M. Hanisch, K. Lautenbach, C. Simon and J. Thieme: A Modular Modeling Approachfor Hybrid Systems Based on C/ E-systems and Extended Timestamp Nets. ADPM 2000 Conference Proceedings, Shaker-Verlag, September 2000, pp. 363-368.
7. M. Krempin: Ein Framework zur Erzeugung von Petri-Netz-Simulatoren. Diplomarbeit, Fachbereich Informatik, Universität Koblenz-Landau, 1999.
8. H. J. Genrich and K. Lautenbach: System Modelling with High-Level Petri Nets. Theoretical Computer Science, 13, 1981.
9. R. König and L. Quäck: Petri-Netze in der Steuerungs- und Digitaltechnik. Oldenbourg Verlag, München, Wien, 1988.
10. H.-M. Hanisch: Petri-Netze in der Verfahrenstechnik. Oldenbourg Verlag, München, Wien, 1992.