B. Schatz, A. Pretschner, F. Huber, and J. Philipps, Model-Based Development of Embedded Systems, Advances in Object-Oriented Information Systems, p.298, 2002.
DOI : 10.1007/3-540-46105-1_34

C. Rust and B. Kleinjohann, Modeling Intelligent Embedded Real-Time Systems using High-Level Petri Nets, Proceedings of the forum on design languages FDL, 2001.

D. Niz, D. Bhatia, G. Rajkumar, and R. , Model-Based Development of Embedded Systems: The SysWeaver Approach, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, 2006.

L. Gomes and J. Fernandes, Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation, 2009.
DOI : 10.4018/978-1-60566-750-8

W. H. Wolf, Hardware-software co-design of embedded systems [and prolog], Proceedings of the IEEE, pp.967-989, 1994.

D. M. Chapiro, Globally-Asynchronous Locally-Synchronous Systems, 1984.

D. Harel, Biting the silver bullet: toward a brighter future for system development, Computer, vol.25, issue.1, pp.8-20, 1992.
DOI : 10.1109/2.108047

W. Reisig, Petri nets: an introduction, 1985.

M. Nielsen, V. Sassone, and J. Srba, Towards a Notion of Distributed Time for Petri Nets, Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, pp.23-31, 2001.
DOI : 10.1007/3-540-45740-2_3

H. Kleijn, M. Koutny, and G. Rozenberg, Processes of Petri nets with localities, School of Computing Science, 2006.

F. Moutinho and L. Gomes, Asynchronous-channels and time-domains extending Petri nets for GALS systems (eds) Technological Innovation for Value Creation, IFIP AICT, vol.372, pp.143-150, 2012.

R. Hopkins, Distributable nets Advances in Petri Nets, ser, LNCS, vol.524, pp.161-187, 1991.

E. Badouel, B. Caillaud, and P. Darondeau, Distributing Finite Automata Through Petri Net Synthesis, Formal Aspects of Computing, vol.13, issue.6, pp.447-470, 2002.
DOI : 10.1007/s001650200022

R. Van-glabbeek, U. Goltz, and J. Schicke, On Synchronous and Asynchronous Interaction in Distributed Systems, In: CoRR, p.48, 2009.
DOI : 10.1007/978-3-540-85238-4_2

R. Van-glabbeek, U. Goltz, and J. Schicke-uffmann, On Distributability of Petri Nets, Foundations of Software Science and Computational Structures, ser. LNCS, pp.331-345, 2012.
DOI : 10.1007/978-3-642-28729-9_22

L. Hillah, E. Kindler, F. Kordon, L. Petrucci, and N. Treves, A primer on the Petri Net Markup Language and ISO/IEC 15909-2, In: Petri Net Newsletter, vol.24, issue.76, pp.9-28, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01126017

K. Jensen, L. M. Kristensen, and L. Wells, Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.3-4, 2007.
DOI : 10.1007/s10009-007-0038-x

L. Gomes, J. Barros, A. Costa, and R. Nunes, The Input-Output Place-Transition Petri Net Class and Associated Tools, 2007 5th IEEE International Conference on Industrial Informatics, 2007.
DOI : 10.1109/INDIN.2007.4384809