Z. Achour and N. Rezg, Commande par supervision des systèmes a événements discrets basée sur l\'utilisation du GRAFCET et la théorie des régions, Journal européen des systèmes automatisé, vol.38, pp.1-2, 2004.

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

K. Akesson, M. Fabian, and H. Flordal, Supremica in a Nutshell ? Draft, 2007.

S. Balemi, Control of discrete event systems: theory and application, 1992.

S. Balemi, P. Kozák, and R. Smedinga, Discrete Event Systems: Modeling and Control, Progress in Systems and Control Theory, 1993.
DOI : 10.1007/978-3-0348-9120-2

R. Bekrar, N. Messai, N. Essounbouli, A. Hamzaoui, and B. Riera, Identification of Discrete Event Systems using ordinary Petri Nets, IAR- ACD-Workshop on Advanced on Control and Diagnosis, 2006.

B. Boussoffara and P. Elzer, About human pattern matching and time information in S&C of large technical systems, Proceedings of the 17 th European Annual Conference on Human Decision Making and Manual Control, pp.161-166, 1998.

V. Carré-ménétrier and J. Zaytoon, Grafcet: behavioural issues and control synthesis, European Journal of Control (EJC), vol.8, pp.4-375, 2002.

V. Chandra and R. Kumar, A new modeling formalism and automata model generator for a class of discrete event systems, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), 2001.
DOI : 10.1109/ACC.2001.945698

V. Chandra and R. Kumar, A discrete event systems modeling formalism based on event occurrence rules and precedences, IEEE Transactions on Robotics and Automation, vol.17, issue.6, pp.785-794, 2001.
DOI : 10.1109/70.975991

V. Chandra and R. Kumar, A event occurrence rules based compact modeling formalism for a class of discrete event systems. Mathematical and computer modeling of dynamical systems, 2002.

M. Combacau, P. Berruet, F. Charbonnaud, A. Khatab, and E. Zamai, supervision and monitoring of production systems, proc, p.7, 2000.

M. Combacau, P. Berruet, F. Charbonnaud, and A. Khatab, Réflexions sur la terminologie : Surveillance ? Supervision, Groupement pour la Recherche en Productique, p.3, 2000.

B. Darkhovski and M. Staroswiecki, A game-theoretic approach to decision in fdi, IEEE Transactions on Automatic Control, vol.48, issue.5, p.5, 2003.
DOI : 10.1109/TAC.2003.811267

D. Dimitrova, G. Frey, and I. Batchkova, Formal Approach for Modeling and Verification of IEC 61499 Function BlocksAdvanced Manufacturing Technologies, Proceedings of the International Conference AMTECH 2005, pp.731-736, 2005.

M. R. Endsley, Situation awareness global assessment technique (SAGAT), Proceedings of the IEEE 1988 National Aerospace and Electronics Conference, pp.789-795
DOI : 10.1109/NAECON.1988.195097

M. Fabian and A. Hellgren, PLC-based implementation of supervisory control for discrete event systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), 1998.
DOI : 10.1109/CDC.1998.758209

G. Frey, Formal Methods in PLC Control Demonstrated at a Flexible Manufacturing Line, Proceedings of the 5th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services (BASYS2002), pp.501-508, 2002.
DOI : 10.1007/978-0-387-35613-6_57

L. Holloway and B. Krogh, Controlled Petri nets: A tutorial survey, 11 th Int. Conf. on Analysis and Optimization of Systems, LNCS, vol.199, 1994.

J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages and Computations, 1979.

Z. Huang, V. Chandra, S. Jiang, and R. Kumar, Modeling Discrete Event Systems with Faults using a Rules Based Modeling Formalism, 2002.

Z. Huang, V. Chandra, S. Jiang, and R. Kumar, Modeling Discrete Event Systems with Faults using a Rules Based Modeling Formalism, Mathematical and Computer Modeling of Dynamical Systems, pp.233-254, 2003.

J. Huang and R. Kumar, Nonblocking Directed Control of Discrete Event Systems, IEEE Transactions on Automation Science and Engineering, vol.08, 2005.

J. Huang and R. Kumar, Directed control of discrete event systems: optimization based approach, 2006 American Control Conference, 2006.
DOI : 10.1109/ACC.2006.1657368

K. M. Inan, Varaiya, algebras of discrete event models, Proc. of IEEE, vol.77, pp.1-01, 1989.

S. Klein, G. Frey, and M. Minas, PLC Programming with Signal Interpreted Petri Nets, Proceedings of the ICATPN 2003 LNCS 2679, pp.440-449, 2003.
DOI : 10.1007/3-540-44919-1_27

S. Klein, Identification of Discrete Event Systems for Fault Detection Purposes, Doctorat de l'Ecole Normale Supérieure de Cachan, Spécialité : Electronique Electrotechnique et Automatique 09, 2005.

M. Lambert, B. Riera, and G. Martel, Analysis, design and evaluation of a new supervision system for the control of a nuclear fuel reprocessing system, Proceedings of the 7 th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design and Evaluation of Man?Machine Systems, pp.455-460, 1998.

J. Machado, Influence de la prise en compte d'un modèle de processus en verification formelle des systems à évènements discrets, 2006.

M. Makungu, M. Barbeau, and R. Saint-denis, Synthesis of controllers of processes modeled as colored Petri Nets Discrete Event Dynamic Systems : theory and applications, pp.147-169, 1999.

M. E. Meda-campaña-meda-campaña, Identification using interpreted Petri nets, International Symposium of Robotics and Automation, pp.353-357, 1998.

M. E. Meda-campaña and E. López-mellado, Asymptotic identification of discrete event systems, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187), pp.2266-2271, 2000.
DOI : 10.1109/CDC.2000.914135

M. E. Meda-campaña and E. López-mellado, Required transition sequences for identification of DES, st IEEE Conference on Decision and Control. Hawaii USA, 2003.

P. Millot and M. P. Lemoine, An attempt for generic concepts toward human?machine cooperation Model based programmable control logic design, in proc, Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics of the 15 th Triennial IFAC World Congress, 1998.

J. Perrin, Concevoir l'innovation industrielle ; méthodologie de conception de l'innovation, CNRS Editions, p.2, 2001.

A. Philippot, Contribution au diagnostic décentralisé des SED : application aux systèmes manufacturiers, p.6, 2006.

A. Philippot, A. Tajer, F. Gellot, and V. Carré-ménétrier, Synthèse de la commande spécifiée en Grafcet : application à un préhenseur pneumatique, colloque francophone sur la modélisation des systèmes réactifs, MSR'03, pp.61-75, 2003.

B. Qiu and H. B. Gooi, Web-based SCADA display systems (WSDS) for access via Internet, IEEE Transactions on Power Systems, vol.15, issue.2, pp.681-686, 2000.
DOI : 10.1109/59.867159

]. P. 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

M. Raush and B. Krogh, Formal verification of PLC programs, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207), p.6, 1998.
DOI : 10.1109/ACC.1998.694666

B. Riera, G. Martel, and J. Anguè, La simulation : outil pédagogique pour l'enseignement de l'automatique dans les formations professionnalisées, Sciences et techniques éducatives Hermes Sciences, vol.6, issue.12, pp.1-37, 1999.

B. Riera, G. Martel, and M. Lambert, Des exemples d'initiation attractive à l'EEA, Colloque sur l, CEPADUES EDITIONS, pp.343-347, 1999.

B. Riera, G. Conreur, and J. Chemla, Une salle de TP d'API adaptée aux NTE, Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, Campus des Cézeaux, 2001.

B. Riera and S. Debernard, Basic Cognitive Principles Applied to the Design of Advanced Supervisory Systems for process control, Handbook of Cognitive Task Design, pp.255-281, 2003.

B. Riera and F. Gellot, Actes de la journée d'étude sur l'innovation technologique dans la supervision industrielle : Des outils aux applications, 2003.

B. Riera, F. Gellot, P. Marangé, J. Chemla, and M. Sayed-mouchaweh, Un projet original en commande et supervision des syst??mes automatises :des enfants de 5 ans au secours des animaux malades !, Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS 05), 2005.
DOI : 10.1051/j3ea:2006039

B. Rohee, Répartition dynamique d'activité sur un automate programmable industriel à moniteur non préhemptif, p.6, 2005.

B. Rohee, B. Riera, V. Carré-ménétrier, and J. Roussel, A METHODOLOGY TO DESIGN AND CHECK A PLANT MODEL, IFAC Proceedings Volumes, vol.39, issue.17, p.9, 2006.
DOI : 10.3182/20060926-3-PL-4904.00041

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

B. Rohee, B. Riera, and V. Carré-ménétrier, Manufacturing human machine design using plant models, IFAC/IFIP/IFORS/IEA Symposium-Analysis design and evaluation of human machine systems, p.9, 2007.

B. Rohee, B. Riera, V. Carré-ménétrier, and J. Roussel, Outil d'aide à l'élaboration de modèles hybrides de simulation pour les systèmes manufacturiers, JN-JD MACS, p.7, 2007.

B. Rohee and B. Riera, Du capteur à l'ERP : principes et mise en application des concepts MES sur une maquette pédagogique, Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes, 2007.

B. Rohee and B. Riera, Des parties opératives pour enseigner l'automatisme, Revue d'enseignement Technologies et formations, Réseau SCEREN, 2008.

B. Rohee, V. Carré-ménétrier, and B. Riera, Proposition of completeness property to perform the plant modelling for manufacturing applications, 17th World Congress International Federation of Automatic Control (IFAC), p.7, 2008.
DOI : 10.3182/20080706-5-KR-1001.00154

B. Rohee and B. Riera, Advanced supervisory control for manufacturing systems: from concepts to a separated monitoring system, International Journal of Intelligent Systems Technologies and Applications (IJISTA) special issue on intelligent system design and development, accepted, 2009.

J. Roussel, Analyse De Grafcets Par Generation Logique De l'Automate Equivalent, p.994
URL : https://hal.archives-ouvertes.fr/tel-00340842

J. Roussel and J. Lesage, Validation And Verification Of Grafcet Using State Machine, Proceedings of IMACS-IEEE CESA'96 pp, pp.758-764, 1996.

J. Roussel and A. Giua, DESIGNING DEPENDABLE LOGIC CONTROLLERS USING THE SUPERVISORY CONTROL THEORY, th IFAC World Congress, CDROM paper n°04427, 6 pages, p.7, 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

T. B. Sheridan, Tasks allocation and supervisory control, Handbook of Human Computer Interaction, The Netherlands, 1988.

A. Toguyeni, N. Dangoumau, and E. Lee, Synthesis Approach for Reconfigurable Manufacturing Systems Design Based on Petri Nets, Studies in Informatics and Control (SIC), 2007.

K. J. Vicente, K. Christoffersen, and A. Pereklita, Supporting operator problem solving through ecological interface design, IEEE Transactions on Systems, Man, and Cybernetics, vol.25, issue.4, pp.529-545, 1995.
DOI : 10.1109/21.370186

]. W. Wonham and P. J. Ramadge, On the Supremal Controllable Sublanguage of a Given Language, SIAM Journal on Control and Optimization, vol.25, issue.3, pp.637-659, 1987.
DOI : 10.1137/0325036

J. Zaytoon, N. Hagbebell, C. Carré-ménétrier, and V. , Grafcet et graphes d'états : synthèse hors-ligne de la commande, APII JESA, vol.33, pp.7-783, 1999.

J. Zaytoon and V. , Synthesis of control implementation for discrete manufacturing systems, International Journal of Production Research, vol.39, issue.2, pp.329-345, 2001.
DOI : 10.1080/00207540010002388