. B. Références-bibliographiques-[-ake59-]-s and . Akers-jr, On a theory of Boolean functions, Journal of the Society for Industrial and Applied Mathematics, vol.7, issue.4, pp.487-498, 1959.

K. Akesson, M. Fabian, H. Flordal, and A. Vahidi, Supremica: a tool for verification and synthesis of discrete event supervisors, 11th Mediterranean Conference on Control and Automation, 2003.

. [. Balemi, Control of discrete event processes: theory and application, Thèse de doctorat, Swiss Federal Institute of Technology, 1992.

. [. Boole, An investigation into the laws of thought, on which are founded the mathematical theories of logic and probability, p.1854

Y. [. Brusentsov and . Vladimirova, Solution of Boolean equations, Computational Mathematics and Modeling, vol.9, issue.4, pp.287-295, 1998.
DOI : 10.1007/BF02409862

M. Cantarelli and J. Roussel, Reactive control system design using the Supervisory Control Theory: evaluation of possibilities and limits. 9th International Workshop On Discrete Event Systems, WODES'08, pp.200-205, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00353636

. [. Grimaldi, Discrete and combinatorial mathematics: an applied introduction, 2004.

J. Gunnarsson and J. Plantin, Synthesis of a discrete system using algebraic methods, Proceedings of International Workshop on Discrete Event Systems, pp.220-2252, 1996.

J. Gunnarsson, Symbolic methods and tools for discrete event dynamic systems, 1997.

. [. Gouin, Contribution à la commande de systèmes à événements discrets temporisés : synthèse de superviseur dans le cadre de modèle automate, Thèse de doctorat, 1999.

D. Gouyon, J. Petin, and A. Gouin, Pragmatic approach for modular control synthesis and implementation, International Journal of Production Research, vol.16, issue.14, pp.2839-2858, 2004.
DOI : 10.1109/9.58555
URL : https://hal.archives-ouvertes.fr/hal-00120780

Y. Hietter, J. Roussel, and J. Lesage, Algebraic synthesis of transition conditions of a state model, 9th International Workshop On Discrete Event Systems, WODES'08, pp.187-192, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00353634

Y. Hietter, J. Roussel, and J. Lesage, Algebraic synthesis of dependable logic controllers, 17th IFAC World Congress, pp.4132-4137, 2008.
DOI : 10.3182/20080706-5-KR-1001.00695
URL : https://hal.archives-ouvertes.fr/hal-00350494

Y. Hietter, J. Roussel, and J. Lesage, Calcul des conditions de transition d'un Réseau de Petri par synthèse algébrique. Conférence Internationale Francophone d'Automatique, CDRom papier N°83, p.6, 2008.

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to automata theory, languages, and computation, 1979.

. [. Kumar, Supervisory synthesis techniques for discrete event dynamical systems, 1991.

. [. Leduc, Hierarchical interface-based supervisory control, 2002.

. [. Levchenkov, Solution of equations in Boolean algebra, Computational Mathematics and Modeling, vol.11, issue.2, pp.154-163, 2000.
DOI : 10.1007/BF02359182

V. S. Levchenkov, Boolean equations with many unknowns, Computational Mathematics and Modeling, vol.5, issue.2, pp.143-153, 2000.
DOI : 10.1007/BF02359181

L. [. Lohmann, O. Thi, and . Stursberg, Design of verified logic control programs, IEEE International Conference on Control Applications, pp.1855-1860, 2006.

J. Machado, B. Denis, J. Lesage, J. Faure, J. Ferreira-da et al., LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL, 3th IFAC Workshop on Discrete-Event System Design. DESDes'06, Rydzyna (Poland), pp.37-42, 2006.
DOI : 10.3182/20060926-3-PL-4904.00007
URL : https://hal.archives-ouvertes.fr/hal-00361815

. [. Mader, Verification of modal properties using boolean equation systems, 1997.

. [. Mateescu, . Caesar, and . Solve, CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems, International Journal on Software Tools for Technology Transfer, vol.8, issue.1, pp.37-56, 2006.
DOI : 10.1007/s10009-005-0194-9
URL : https://hal.archives-ouvertes.fr/inria-00084628

[. Rodriguez, Méthode de synthèse d'un contrôleur logique à partir de spécifications algébriques, Thèse de doctorat, 2007.

T. Meftah, N. Bouteille, H. Gueguen, and V. Boutin, Constraint specification of the control logic of automated manufacturing systems, 2005 IEEE Conference on Emerging Technologies and Factory Automation, 2005.
DOI : 10.1109/ETFA.2005.1612730
URL : https://hal.archives-ouvertes.fr/hal-00013692

J. Petin, D. Gouyon, and G. Morel, Supervisory synthesis for product-driven automation and its application to a flexible assembly cell, Control Engineering Practice, vol.15, issue.5, pp.595-614, 2007.
DOI : 10.1016/j.conengprac.2006.10.013
URL : https://hal.archives-ouvertes.fr/hal-00120776

W. [. Ramadge and . Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

P. J. Ramadge and W. M. Wonham, On the supremal controllable sublanguage of a given language, SIAM Journal of Control and Optimization, vol.25, issue.3, pp.637-659, 1987.

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

J. Roussel and J. Lesage, Une algèbre de Boole pour l'approche évènementielle des systèmes logiques, APII-AFCET/CNRS, pp.541-560, 1993.

J. Roussel and B. Denis, Safety properties verification of ladder diagram programs, Journal Européen des Systèmes Automatisés, vol.36, issue.7, pp.905-917, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00356881

J. Roussel, J. Faure, J. Lesage, and A. Medina, Algebraic approach for dependable logic control systems design, International Journal of Production Research, vol.36, issue.14, pp.2859-2876, 2004.
DOI : 10.1080/00207540010002388
URL : https://hal.archives-ouvertes.fr/hal-00344923

J. Roussel and A. Guia, DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY, 16th IFAC World Congress, CDROM paper n° 04427, 2005.
DOI : 10.3182/20050703-6-CZ-1902.01434
URL : https://hal.archives-ouvertes.fr/hal-00344918

J. Roussel and J. Faure, Designing dependable logic controllers using algebraic specifications, Control Engineering Practice, vol.14, issue.10, pp.1143-1155, 2006.
DOI : 10.1016/j.conengprac.2006.02.002
URL : https://hal.archives-ouvertes.fr/hal-00340844

. [. Rudeanu, Algebraic Methods Versus Map Methods Of Solving Boolean Equations, International Journal of Computer Mathematics, vol.80, issue.7, pp.815-817, 2003.
DOI : 10.1080/00207160108805094

. [. Rushdi, Efficient Solution of Boolean Equations Using Variable-Entered Karnaugh Maps, Journal of king abdulaziz university, vol.15, issue.1, pp.115-131, 2004.

. [. Shannon, A symbolic analysis of relay and switching circuits, 1940.

O. Stursberg, S. Lohmann, and S. Engell, IMPROVING DEPENDABILITY OF LOGIC CONTROLLERS BY ALGORITHMIC VERIFICATION, 16th IFAC World Congress, 2005.
DOI : 10.3182/20050703-6-CZ-1902.01442

. [. Toms, Systems of Boolean Equations, The American Mathematical Monthly, vol.73, issue.1, pp.29-35, 1966.
DOI : 10.2307/2313918

G. [. Woods and . Casinovi, Efficient solution of systems of Boolean equations, Proceedings of International Conference on Computer Aided Design, pp.542-546, 1996.
DOI : 10.1109/ICCAD.1996.569908

J. Zahnd, Machines séquentielles, Presses Polytechniques et Universitaires Romandes (PPUR). 3 edition, p.265, 1987.