1. Engels, G.: Keynote: Automatic generation of behavioral code - too ambitious or even unwanted?, Behaviour Modelling in Model Driven Architecture. In: Proceedings of First European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA), Enschede, The Netherlands, June 23 (2009)
2. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
3. Lecture Notes in Computer Science;M. Moalla,1978
4. David, R., Alla, H.: Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems. Prentice Hall International, UK (1992)
5. Silva, M.: Las Redes de Petri: en la Automática y la Informática. Edit. AC, Madrid (1985)