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

F. Pereira, F. Moutinho, and L. Gomes, IOPT-tools — Towards cloud design automation of digital controllers with Petri nets, 2014 International Conference on Mechatronics and Control (ICMC), 2014.
DOI : 10.1109/ICMC.2014.7232002

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

H. M. Hanisch and A. Lüder, A signal extension for Petri nets and its use in controller design, Fundamenta informaticae, vol.41, issue.4, pp.415-431, 2000.

P. Starke and S. Roch, Analysing Signal-Net Systems, 2002.

G. Frey, Hierarchical design of logic controllers using signal interpreted Petri nets, Proceedings of the IFAC AHDS 2003, Saint-Malo (France), pp.401-406, 2003.

K. Jensen and L. M. Kristensen, Colored Petri nets, Communications of the ACM, vol.58, issue.6, pp.61-70, 2015.
DOI : 10.1145/2663340

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proceedings of the IEEE, pp.1235-1245, 1987.
DOI : 10.1109/PROC.1987.13876

J. L. Colaço, B. Pagano, and M. Pouzet, A conservative extension of synchronous data-flow with state machines, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.173-182, 2005.
DOI : 10.1145/1086228.1086261

V. Vyatkin, . Society, and . America, IEC 61499 function blocks for embedded and distributed control systems design (p. o3neida), 2007.

J. B. Dabney and T. L. Harman, Mastering Simulink, 2004.

F. Pereira and L. Gomes, Minimalist Architecture to Generate Embedded System Web User Interfaces. DoCEIS'13, Technological Innovation for the Internet of Things, pp.239-249, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01348760

F. Pereira, A. Melo, and L. Gomes, Remote operation of embedded controllers designed using IOPT Petri-nets, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN), pp.22-24, 2015.
DOI : 10.1109/INDIN.2015.7281797