, UML as Front-End Language for Embedded Systems Design Behavioral Modeling for Embedded Systems and Technologies: Application for Design and Implementation, Information Science Reference, pp.1-23, 2009.
, Model-Driven Design and ASM Validation of Embedded Systems Behavioral Modeling for A Figueiredo and A. Junior Embedded Systems and Technologies: Application for Design and Implementation, Information Science Reference, pp.24-54, 2009.
, Petri nets for systems engineering: A Guide to Modeling, 2003.
DOI : 10.1007/978-3-662-05324-9
URL : https://hal.archives-ouvertes.fr/hal-01489070
, Petri nets: An Introduction, 1985.
, Petri net partitioning using net splitting operation, 2009 7th IEEE International Conference on Industrial Informatics, 2009.
DOI : 10.1109/INDIN.2009.5195804
, Mda guide version 1.0.1. In: Object Management Group (OMG), 2003.
, Checking Semantics Equivalence of MDA Transformations in Concurrent Systems, Journal of Universal Computer Science (JUCS), vol.15, issue.11, pp.2196-2224, 2009.
, Coloured Petri Nets Extended with Channels for Synchronous Communication In: Application and Theory of Petri Nets, Proc. of 15th Intern. Conf, pp.159-178, 1994.
, Las Redes de Petri: En la Automática y la Informática, Editorial AC, 1985.
, Net model composition and modification by net operations: a pragmatic approach, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004, pp.24-26, 2004.
DOI : 10.1109/INDIN.2004.1417350
, Maude: specification and programming in rewriting logic, Theoretical Computer Science, vol.285, issue.2, 2001.
DOI : 10.1016/S0304-3975(01)00359-0
URL : https://doi.org/10.1016/s0304-3975(01)00359-0