F. Moutinho and L. Gomes, From models to controllers integrating graphical animation in FPGA through automatic code generation, 2009 IEEE International Symposium on Industrial Electronics, 2009.
DOI : 10.1109/ISIE.2009.5218315

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

L. Gomes and J. Lourenco, Rapid prototyping of graphical user interfaces for Petri-netbased controllers, IEEE Transactions on Industrial Electronics, pp.1806-1813, 2010.

J. Billington, S. Christensen, K. Van-hee, E. Kindler, O. Kummer et al., The Petri Net Markup Language: Concepts, Technology, and Tools, Proceeding of the 24th International Conference on Application and Theory of Petri Nets, ser. LNCS, W. van der Aalst and E. Best, pp.483-505, 2003.
DOI : 10.1007/3-540-44919-1_31

URL : https://hal.archives-ouvertes.fr/hal-00084186

J. Coolahan and N. Roussopoulos, Timing Requirements for Time-Driven Systems Using Augmented Petri Nets, IEEE Transactions on Software Engineering, pp.603-616, 1983.
DOI : 10.1109/TSE.1983.235261

R. Esser, An object oriented Petri net language for embedded system design, " in STEP '97: Proceedings of the 8th International Workshop on Software Technology and Engineering Practice (STEP '97) (including CASE '97), p.216, 1997.

S. Chachkov and D. Buchs, From an abstract object-oriented model to a ready-to-use embedded system controller, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001, pp.142-148, 2001.
DOI : 10.1109/IWRSP.2001.933852

K. Jensen, Coloured Petri Nets Basic Concepts, Analysis Methods and Pratical Use " - Volume 1 Basic Concepts, Berlin. Germany.: SpringerVerlag, 1997.

O. Kummer, F. Wienberg, M. Duvigneau, and L. Cabac, Renew ? User Guide, Theoretical Foundations Group, Release 2.2, 2009.

H. Ehrig, C. Ermel, and G. Taentzer, Simulation and animation of visual models of embedded systems, 7th International Workshop on Embedded Systems Modeling Technology, and Applications, pp.11-20, 2006.

M. Westergaard and K. B. Lassen, The BRITNeY Suite Animation Tool, pp.431-440, 2006.
DOI : 10.1007/11767589_26

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.654.2981

J. B. Jorgensen, Addressing problem frame concerns via coloured petri nets and graphical animation, Proceedings of the 2006 international workshop on Advances and applications of problem frames , IWAAPF '06, pp.49-58, 2006.
DOI : 10.1145/1138670.1138679

S. Chachkov and D. Buchs, From an abstract object-oriented model to a ready-to-use embedded system controller, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001, pp.142-148, 2001.
DOI : 10.1109/IWRSP.2001.933852

P. Nascimento, P. Maciel, M. Lima, R. Santana, and A. Filho, A partial reconfigurable architecture for controllers based on Petri nets, Proceedings of the 17th symposium on Integrated circuits and system design , SBCCI '04, pp.16-21, 2004.
DOI : 10.1145/1016568.1016581

A. Costa, L. Gomes, J. P. Barros, . Oliveira-;-t, and . Reis, Petri nets tools framework supporting FPGA-based controller implementations, 2008 34th Annual Conference of IEEE Industrial Electronics, pp.4758345-2477, 2008.
DOI : 10.1109/IECON.2008.4758345

L. Gomes, J. P. Barros, ;. A. Costa, R. Pais-;-f, and . Moutinho, Towards usage of formal methods within embedded systems co-design Emerging Technologies and Factory Automation, ETFA 2005. 10th IEEE Conference on, pp.19-22, 2005.

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

D. Tidwell, XSLT, 2001.