1. Brisolara, L.C.B., Kreutz, M.E., Carro, L.: UML as Front-End Language for Embedded Systems Design. In: Gomes, L., Fernandes, J.M. (eds.) Behavioral Modeling for Embedded Systems and Technologies: Application for Design and Implementation, pp. 1–23. Information Science Reference, Hershey (2009)
2. Gargantini, A., Riccobene, E., Scandurra, P.: Model-Driven Design and ASM Validation of Embedded Systems. In: Gomes, L., Fernandes, J.M. (eds.) Behavioral Modeling for Embedded Systems and Technologies: Application for Design and Implementation, pp. 24–54. Information Science Reference, Hershey (2009)
3. Verification and Applicatons;C. Girault,2003
4. Reisig, W.: Petri nets: An Introduction. Springer, New York (1985)
5. Costa, A., Gomes, L.: Petri net Partitioning Using net Splitting Operation. In: 7th IEEE International Conference on Industrial Informatics (2009)