S. Edwards, L. Lavagno, E. A. Lee, and A. Sangiovanni-vincentelli, Design of embedded systems: formal models, validation, and synthesis, Proc. IEEE, pp.366-389, 1997.
DOI : 10.1016/b978-155860702-6/50009-0

T. Murata, Petri nets: Properties, analysis and applications, Proc. IEEE, 1989.
DOI : 10.1109/5.24143

M. Moalla, J. Pulou, and J. Sifakis, Synchronized petri nets : A model for the description of non-autonomous sytems, In: Mathematical Foundations of Computer Science, vol.64, pp.374-384, 1978.
DOI : 10.1007/3-540-08921-7_85

F. Moutinho and L. Gomes, Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling, IEEE Transactions on Industrial Informatics, vol.10, issue.4, pp.2024-2033, 2014.
DOI : 10.1109/TII.2014.2341933

C. Girault and R. Valk, Petri Nets for Systems Engineering, 2001.
DOI : 10.1007/978-3-662-05324-9
URL : https://hal.archives-ouvertes.fr/hal-01489070

P. Huber, K. Jensen, and R. M. Shapiro, Hierarchies in coloured Petri nets. Adv. Petri Nets, pp.313-341, 1989.
DOI : 10.1007/978-3-642-84524-6_7

L. Gomes, F. Moutinho, F. Pereira, J. Ribeiro, A. Costa et al., Extending input-output place-transition Petri nets for distributed controller systems development, 2014 International Conference on Mechatronics and Control (ICMC), pp.1099-1104, 2014.
DOI : 10.1109/ICMC.2014.7231723

L. Gomes, J. P. 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, pp.509-514, 2007.
DOI : 10.1109/INDIN.2007.4384809

F. Pereira, F. Moutinho, J. Ribeiro, and L. Gomes, Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations, IECON 2012, 38th Annual Conference on IEEE Industrial Electronics Society, pp.6151-6156, 2012.
DOI : 10.1109/IECON.2012.6389075

L. Gomes and J. P. Barros, Models of Computation for Embedded Systems The Industrial Information Technology HandbookEditor-in-Chief), section VI ? Real time embedded systems, pp.83-84, 2005.

B. H. Thomas and C. Mclean, Using Grafcet to design generic controllers, [Proceedings] 1988 International Conference on Computer Integrated Manufacturing, pp.110-119, 1988.
DOI : 10.1109/CIM.1988.5400

K. Hasegawa, K. Takahashi, R. Masuda, and H. Ohno, Proposal of Mark Flow Graph for Discrete System Control. Transactions of the Society of Instrument and Control Engineers, pp.122-129, 1984.

W. M. Zuberek and I. Bluemke, Hierarchies of place/transition refinements in Petri nets, Proceedings 1996 IEEE Conference on Emerging Technologies and Factory Automation. ETFA '96, pp.355-360, 1996.
DOI : 10.1109/ETFA.1996.573319

X. He, A formal definition of hierarchical predicate transition nets, Proceedings of the 17th International Conference on Application and Theory of Petri Nets, pp.212-229, 1996.
DOI : 10.1007/3-540-61363-3_12

P. Huber, K. Jensen, and R. M. Shapiro, Hierarchies in coloured Petri nets Advances in Petri Nets, pp.313-341, 1989.

E. Kindler and L. Petrucci, Towards a standard for modular Petri nets: A formalisation. Applications and Theory of Petri Nets, p.5606, 2009.

. E. Kindler and M. Weber, A universal module concept for Petri nets-an implementationoriented approach, Informatik-Bericht, vol.150, 2001.

G. Juhás, R. Lorenz, and C. Neumair, Modeling and control with modules of signal nets. Lectures on Concurrency and Petri Nets, pp.585-625, 2004.

M. Rausch and H. M. Hanisch, Net condition/event systems with multiple condition outputs, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95, pp.592-600, 1995.
DOI : 10.1109/ETFA.1995.496811

. C. Lakos, Object Oriented Modelling with Object Petri Nets, Lecture Notes in Computer Science, pp.1-37, 2001.
DOI : 10.1007/3-540-45397-0_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.8135

L. Gomes and J. P. Barros, Structuring and Composability Issues in Petri Nets Modeling, IEEE Transactions on Industrial Informatics, vol.1, issue.2, pp.112-123, 2005.
DOI : 10.1109/TII.2005.844433