Conversion of safe petri nets into statecharts;Konvertierung sicherer petri-netze in statecharts

At-Automatisierungstechnik

Volumn 47, Issue 12, 1999, Pages 571-580

  Schnabel, Mark K ^a   Nenninger, Gero M ^a   Krebs, Volker G ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (16)

1. Ramadge, P. J., Wonham, W. M.: The Control of Discrete Event Systems. Proceedings of the IEEE, Vol. 77, No. 1, January 1989, pp. 81-98.
2. Schnieder, E. (Hrsg.): Petrinetze in der Automatisierungstechnik. Oldenbourg-Verlag, München 1992.
3. Baumgarten, B.: Petri-Netze: Grundlagen und Anwendung. Spektrum Akademischer Verlag, Heidelberg 1996.
4. Haret, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8 (1987), pp. 231-274.
5. Brave Y., Heymann, M.: Control of Discrete Event Systems Modeled as Hierarchical State Machines. IEEE Transactions on Automatic Control, Vol. 38, No. 12, December 1993, pp. 1803-1819.
6. Kowatewski, S.: Modulare diskrete Modellierung verfahrenstechnischer Anlagen zum systematischen Steuerungsentwurf. Shaker Verlag, Dissertation, Universität Dortmund 1996.
7. Hanisch, H. M.: Petri-Netze in der Verfahrenstechnik. Oldenbourg-Verlag, München 1992.
8. Murata T: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, Vol. 77, No. 4, April 1989, pp. 541-580.
9. Starke, P. H.: Analyse von Petri-Netz-Modellen. B.G. Teubner Verlag, Stuttgart 1990.
10. Reisig, W.: Petrinetze - Eine Einführung. Springer Verlag, Berlin 1986.
11. The MathWorks, Inc.: Stateflow User’s Guide Version 1. Massachusetts 1997.
12. Abel, D.: Petri-Netze für Ingenieure. Springer-Verlag. Beriin 1990.
13. Neumann, R u.a.: SPS-Standard: lEC 1131 - Programmierung in verteilten Automatisierungssystemen. 2. Auflage, Oldenbourg Verlag, München 1998.
14. Rausch, M., Krogh, B.: Transformations between different model forms in Discrete Event Systems. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Oriando 1997, pp. 2841-2846.
15. Hopcrofl J. E., Ullman, J. D.: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. 3. Auflage, Addison-Wesley, Bonn 1994.
16. Pascoletti, K.: Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-Netzen. GMD-Bericht Nr. 160, Oldenbourg Verlag, München 1986.