C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2009.

J. Zaytoon and B. Riera, Synthesis and implementation of logic controllers A review, Annual Reviews in Control, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02003224

B. Berthomieu, P. Ribet, and F. Vernadat, The tool TINA Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.42, p.27412756, 2004.

D. Lime, O. H. Roux, C. Seidner, L. Traonouez, and R. , A Parametric Model-Checker for Petri Nets with Stopwatches, Tools and Algorithms for the Construction and Analysis

, Lecture Notes in Computer Science, p.5457, 2009.

K. Akesson, M. Fabian, H. Flordal, and R. Malik, Supremica-An integrated environment for verication, synthesis and simulation of discrete event systems, 2006 8th International Workshop on Discrete Event Systems, p.384385, 2006.

L. Ricker, S. Lafortune, and S. Genc, Desuma : A tool integrating giddes and umdes, Software tools, 8th international workshop on discrete-event systems, 2006.

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.9, p.213254, 2007.

A. Theorin, TFRT-1104. Department of Automatic Control, A Sequential Control Language for Industrial Automation, 2014.

B. Riera, A. Philippot, D. Annebique, and F. Gellot, La commande par contraintes logiques de sécurité : principe, applications et mise en oeuvre, Modélisation des Systèmes Réactifs, (Nancy), 2015.