Translating safe petri nets to statecharts in a structure-preserving way

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5850 LNCS, Issue , 2009, Pages 239-255

  Eshuis, Rik ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX SYSTEMS; DESIGN TOOL; POLYNOMIAL ALGORITHM; STATE CHARTS; STRUCTURE-PRESERVING; TRANSLATION ALGORITHMS; VISUAL FORMALISM;

FORMAL METHODS; GRAPH THEORY; PETRI NETS;

ALGORITHMS;

EID: 70649083108     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05089-3_16     Document Type: Conference Paper

References (19)

1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. J. Wiley, Chichester (1995)
2. Best, E., Darondeau, P., Wimmel, H.: Making Petri nets safe and free of internal transitions. Fundamenta Informaticae 80(1-3), 75-90 (2007)
3. Desel, J., Juhás, G.: What is a Petri net? Informal answers for the informed reader. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 1-27. Springer, Heidelberg (2001)
4. Eshuis, R.: Reconciling statechart semantics. Science of Computer Programming 74(3), 65-99 (2009)
5. Eshuis, R.: Translating safe Petri nets to statecharts in a structure-preserving way. Beta Working Paper Series, WP 282, Eindhoven University of Technology (2009)
6. Grahlmann, B.: The PEP tool. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 440-443. Springer, Heidelberg (1997)
7. Grumberg, O., Katz, S.: Veritech: a framework for translating among model description notations. STTT 9(2), 119-132 (2007)
8. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231-274 (1987)
9. Harel, D., Kahana, C.-A.: On statecharts with overlapping. ACM Transactions on Software Engineering and Methodology 1(4), 399-421 (1992)
10. Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293-333 (1996)
11. Huszerl, G., Majzik, I., Pataricza, A., Kosmidis, K., Dal Cin, M.: Quantitative analysis of UML statechart models of dependable systems. Computer Journal 45(3), 260-277 (2002)
12. IBM Rational Software. Rose (2009), http://www.ibm.com/software/rational
13. Kishinevsky, M., Cortadella, J., Kondratyev, A., Lavagno, L., Taubin, A., Yakovlev, A.: Coupling asynchrony and interrupts: Place chart nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 328-347. Springer, Heidelberg (1997)
14. The Mathworks. Stateflow user's guide (2009), http://www.mathworks.com
15. Murata, T.: Petri nets: Properties, analysis, and applications. Proc. of the IEEE 77(4), 541-580 (1989)
16. Object Management Group. UML specification (2009), http://www.uml.org
17. Rausch, M., Krogh, B.: Transformations between different model forms in discrete event systems. In: Proc. IEEE SMC 1997, vol. 3, pp. 2841-2846 (1997)
18. Saldhana, J.A., Shatz, S.M., Hu, Z.: Formalization of object behavior and interactions from UML models. International Journal of Software Engineering and Knowledge Engineering 11(6), 643-673 (2001)
19. Schnabel, M., Nenninger, G., Krebs, V.: Konvertierung sicherer Petri-netze in stat-echarts (in German). Automatisierungstechnik 47(12), 571-580 (1999)