]. K. Ake99, M. Akesson, and . Fabian, Implementing supervisory control for chemical batch processes, Proceedings of IEEE Conference on Control Applications, 1999.

]. O. Ake06, P. Akerlund, E. Bieber, M. Boede, M. Bozzano et al., ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects, European Congress on Embedded Real Time Software, 2006.

]. S. Alb01, R. D. Albert, and . Kinley, Multivariate statistical monitoring of batch processes : an industrial case study of fermentation supervision, TRENDS in Biotechnology, vol.19, issue.2, pp.53-62, 2001.

]. J. Amo12, A. Amory, and . Cointet, Le transfert de voyageurs quai -train dans le métro parisien, 18 e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 2012.

]. Y. Arn09a, J. L. Arnaud, J. Boimond, J. J. Cury, C. Loiseau et al., Using UPPAAL for the secure and optimal control of agv fleets, Acts of the 7th Workshop on Advanced Control and Diagnosis ACD09, 2009.

]. Y. Arn09b, J. Arnaud, . Cury, C. Loiseau, and . Martinez, Pilotage sûr et optimal d'une flotte de véhicules autoguidés, Actes des 3 e Journées Doctorales MACS, 2009.

]. F. Bal05, S. Balbo, and . Pinson, Dynamic modeling of a disturbance in a multi-agent system for traffic regulation, Decision Support Systems, vol.41, issue.1, pp.131-146, 2005.

]. F. Bel06, J. L. Belmonte, W. Boulanger, K. Schon, and . Berkani, Automatic supervision survey for SpicaRail program, EAM 06 European Annual Conference on Human Decision-Making and Manual Control, 2006.

]. M. Bel08a, G. Belmonte, W. Churchill, J. L. Schon, and . Boulanger, Automatisation intégrale de la ligne 1 : étude et modélisation du trafic mixte, 16 e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 2008.

]. F. Bel08b, W. Belmonte, J. L. Schon, and R. Boulanger, Evaluation du facteur humain dans le domaine de la supervision de trafic ferroviaire : le projet SpicaRail, 16 e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 2008.

]. F. Bel11, W. Belmonte, L. Schon, R. Heurley, and . Capel, Interdisciplinary safety analysis of complex socio-technological systems based on the functional resonance accident model : An application to railway traffic supervision, Reliability Engineering and System Safety, vol.96, issue.2, pp.237-249, 2011.

]. J. Beu06 and . Beugin, Contribution à l'évaluation de la sécurité des systèmes complexes de transport guidé, Thèse de doctorat, 2006.

]. N. Bho10, F. Bhouri, S. Balbo, and . Pinson, A multi-agent system to regulate bimodal urban traffic, 13th International IEEE Conference Intelligent Transportation Systems (ITSC), 2010.

]. S. Blo00, . Blouin, K. Guay, and . Rudie, An application of discrete-event theory to truck dispatching, 2000.

]. A. Bou05, L. Boufaden, S. Piétrac, and . Gabouj, L'usage des réseaux de Petri dans la théorie de contrôle par supervision, Sciences et Technologies de l'Automatique (e-STA), revue électronique de la SEE, p.10, 2005.

]. R. Bra90, V. Brandt, R. Garg, F. Kumar, S. I. Lin et al., Formulas for calculating supremal controllable and normal sublanguages, Systems and Control Letters, vol.15, issue.2, pp.111-117, 1990.

]. B. Bra00, R. Brandin, P. Malik, and . Dietrich, Incremental system verification and synthesis of minimally restrictive behaviours, American Control Conference, 2000.

]. J. Bre08 and . Breuils, Dupin : Un réferentiel d'évaluation des risques du système de transport métro, 16 e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 2008.

]. P. Bre97, C. Brezillon, I. Gentile, M. Saker, and . Secron, SART : A system for supporting operators with contextual knowledge, Interdisciplinary Conference on Modeling and Using Context (CONTEXT-97), 1997.

]. P. Bre00a, R. Brezillon, M. Naveiro, and J. C. Cavalcanti, Pomerol : SART : an intelligent assistant system for subway control, Pesquisa Operacional, vol.20, issue.2, pp.247-268, 2000.

]. P. Bre00b, L. Brezillon, and J. C. Pasquier, Pomerol : Reasoning with contextual graphs, European Journal of Operational Research, vol.136, issue.2, pp.290-298, 2000.

]. P. Bre03 and . Brezillon, Représentation de pratiques dans le formalisme des graphes contextuels, 2003.

]. P. Bre07, D. Brezillon, and . Racoceanu, A context model for content based medical image retrieval, Medical Imaging Technology, vol.25, issue.5, pp.327-332, 2007.

]. Car08, Carton : Langages formels, calculabilité et complexité, 2008.

]. C. Cas99, S. Cassandras, and . Lafortune, Introduction to discrete event systems, 1999.

]. T. Caz09, F. Cazenave, S. Balbo, and . Pinson, Monte-carlo bus regulation, 12th International IEEE Conference on Intelligent Transportation Systems, 2009.

]. A. Che09, D. Cheikh, and . Rieu, Une méthode de rétro-ingénierie des processus métier basée sur un méta-modèle multi-vues, 27 e Congrès INFORSID, 2009.

]. L. Cla12, J. C. Clavijo, L. K. Basilio, and . Carvalho, DESLAB : A scientific computing program for analysis and synthesis of discrete-event systems, Discrete Event Systems, vol.11, issue.1, pp.349-355, 2012.

]. P. Dav05, L. Davidsson, L. Henesey, J. Ramstedt, F. Törnquist et al., An analysis of agent-based approaches to transport logistics. Transportation Research part C : emerging technologies, pp.255-271, 2005.

]. G. De-brito, Study of the use of Airbus flight-deck procedures and perspectives for operational documentation Boy : Situation awareness and procedure following, Proceedings of HCI-Aero'98 Proceedings of CSAPC'99, 1998.

]. A. Deg97, E. L. Degani, and . Wiener, Procedures in complex systems : The airline cockpit. Systems, Man and Cybernetics, Part A : Systems and Humans, IEEE, issue.3, pp.27302-312, 1997.

]. M. Dia13 and . Diaz, Petri nets : fundamental models, verification and applications, 2013.

]. A. Did07, Dideban : Synthèse de contrôleurs discrets par simplification de contraintes et de conditions, Thèse de doctorat, 2007.

]. A. Did08, H. Dideban, and . Alla, Reduction of constraints for controller synthesis based on safe Petri nets, Automatica, vol.44, issue.7, pp.1697-1706, 2008.

]. A. Did13, M. Dideban, H. Zareiee, and . Alla, Controller synthesis with highly simplified linear constraints, Asian Journal of Control, vol.15, issue.1, pp.80-94, 2013.

]. R. Dij08, M. Dijkman, C. Dumas, and . Ouyang, Semantics and analysis of business process models in BPMN. Information and Software Technology, pp.1281-1294, 2008.

]. F. Ena93 and J. C. Enaud, Grimaldi : L'intégration de systèmes dans la supervision des transports routiers. L'Onde Electrique, pp.38-41, 1993.

]. H. Ezz08, T. Ezzedine, C. Bonte, and C. Kolski, Tahon : Integration of traffic management and traveller information systems : basic principles and case study in intermodal transport system management, International Journal of Computers Communications and Control (IJCCC), vol.3, pp.281-294, 2008.

]. G. Far10 and . Faraut, Commutations sûres de mode pour les systèmes à événements discrets, Thèse de doctorat, 2010.

]. R. Foo96 and . Foot, La représentation du voyageur et la RATP : une analyse par les dispositifs de transport. Cahier de recherche du Gip Mutation industrielles, pp.15-26, 1996.

]. B. Gau03, H. Gaudin, and . Marchand, Modular supervisory control of asynchronous and hierarchical finite state machines, European Control Conference, 2003.

]. C. Gea12, Geambasu : BPMN vs UML : Activity diagram for business process modeling, Journal of Accounting and Management Information Systems, vol.11, issue.4, pp.637-651, 2012.

]. L. Gél10 and . Gély, Modélisation et optimisation de la gestion opérationnelle des circulations en cas d'aléas, Thèse de doctorat

]. A. Gha03a, N. Ghaffari, X. Rezg, and . Xie, Design of a live and maximally permissive Petri net controller using the theory of regions, IEEE Transactions on Robotics and Automation, vol.19, issue.1, pp.137-142, 2003.

]. A. Gha03b, N. Ghaffari, X. Rezg, and . Xie, Feedback control logic for forbidden-state problems of marked graphs : application to a real manufacturing system, IEEE Transactions on Automatic Control, vol.48, issue.1, pp.18-29, 2003.

]. A. Giu92, F. Giua, M. Dicesare, and . Silva, Generalized mutual exclusion contraints on nets with uncontrollable transitions, International Conference on Systems, Man and Cybernetics, 1992.

]. F. Gue08, J. L. Guenab, W. Boulanger, and . Schon, Sécurité des systèmes de contrôlecommande et signalisation ferroviaire : nouvelle approche d'analyse préliminaire des risques, 5 e Conférence Internationale Francophone d'Automatique CIFA'08, 2008.

]. S. Haj13 and . Hajjar, Conception sûre de systèmes embarqués à base de COTS, Thèse de doctorat, 2013.

]. K. Hel00 and . Hellier, Hazard analysis and critical control points for water supplies, Proceedings of 63 rd Annual Water Industry Engineers and Operators Conference, 2000.

]. L. Hol90, B. H. Holloway, and . Krogh, Synthesis of feedback control logic for a class of controlled Petri nets, IEEE Transactions on Automatic Control, vol.35, issue.5, pp.514-523, 1990.

]. L. Hol97, B. H. Holloway, A. Krogh, and . Giua, A survey of Petri net methods for controlled discrete event systems, Discrete Event Dynamic Systems, vol.7, issue.2, pp.151-190, 1997.

]. E. Hol99 and . Hollnagel, Accident analysis and barrier functions, 1999.

]. F. Jub10 and . Jubert, Vers une gestion innovante des risques de réalimentation du rail de traction du métro parisien, 17 e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, 2010.

]. O. Kam04 and . Kamach, Approche multi-modèle pour les systèmes à événements discrets : application à la gestion des modes de fonctionnement, Thèse de doctorat, 2004.

]. M. Kam13 and . Kammoun, Méthodes de modélisation formelles basées sur les systèmes à événements discrets pour le management du trafic aérien, Thèse de doctorat, 2013.

]. S. Kha03 and . Khalfaoui, Méthode de recherche des scénarios redoutés pour l'évaluation de la sûreté de

]. A. Kli02, O. Klinke, and . Renn, A new approach to risk evaluation and management : Risk-based, precaution-based and discourse-based strategies, Risk analysis, vol.22, issue.6, pp.1071-1094, 2002.

]. D. Kom08, W. A. Komljenovic, and V. J. Groves, Kecojevic : Injuries in US mining operations : a preliminary risk analysis, Safety Science, vol.46, issue.5, pp.792-801, 2008.

]. M. Lak14 and . Lakhoua, Analysis and supervision of the water extraction of a thermal power plant, International Journal of Physical Sciences, vol.9, issue.10, pp.243-249, 2014.

E. J. Lee, Reconfiguration dynamique de la commande d'un système manufacturier : approche par la synthèse de la commande, Thèse de doctorat, 2006.

]. D. Leg09 and . Legros, Maitrise des risques dans les systèmes de transport : proposition d'une nouvelle approche de modélisation dynamique, Thèse de doctorat, 2009.

]. Z. Lia05, W. Liang, and . Shi, PET : A personalized trust model with reputation and risk evaluation for P2P resource sharing, Proceedings of the 38th Annual International Conference on System Sciences HICSS'05, 2005.

]. N. Loh09, E. Lohmann, and . Verbeek, Dijkman : Petri net transformations for business processes : a survey, Transactions on Petri Nets and Other Models of Concurrency, pp.46-63, 2009.

]. M. Maz09, J. F. Mazouni, and . Aubry, De l'analyse préliminaire de risque au système d'aide à la décision pour le management des risques, 8 e Congrès International pluridisciplinaire en Qualité et Sûreté de Fonctionnement, Qualita, 2009.

]. K. Med06, A. K. Medjaher, B. Samantaray, M. Bouamama, and . Staroswiecki, Supervision of an industrial steam generator. part II : Online implementation, Control Engineering Practice, vol.14, issue.1, pp.85-96, 2006.

]. L. Mej10, H. Mejri, P. Hadj-mabrouk, and . Caulier, Vers une ontologie pour le domaine de l'analyse de sécurité des systèmes de transport automatisés, Terminologie et Ontologie : Théories et applications TOTh'10, 2010.

]. G. Mon98 and . Moncelet, Application des réseaux de Petri à l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile, Thèse de doctorat, 1998.

]. T. Mur89 and . Murata, Petri nets : Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.

]. J. Mye07, M. Myers, J. Lee, and . Kiratli, Cardiovascular disease in spinal cord injury : an overview of prevalence, risk, evaluation, and management, American journal of Physical Medicine and Rehabilitation, vol.86, issue.2, pp.142-152, 2007.

]. M. Nou97 and . Nourelfath, Extension de la théorie de la supervision à la surveillance et à la commande des systèmes à événements discrets : application à la sécurité opérationnelle des systèmes de production, Thèse de doctorat, 1997.

]. S. Oss05, J. Z. Ossowski, M. V. Hernandez, A. Belmonte, A. Fernandez et al., Decision support for traffic management based on organisational and communicative multiagent abstractions. Transportation Research part C : emerging technologies, pp.272-298, 2005.

]. B. Oul06, K. Ould-bouamama, A. K. Medjaher, M. Samantaray, and . Staroswiecki, Supervision of an industrial steam generator. Part I : Bond graph modelling, Control Engineering Practice, vol.14, issue.1, pp.71-83, 2006.

]. C. Ouy08, Y. D. Ou-yang, and . Lin, BPMN-based business process model feasibility analysis : a Petri net approach, International Journal of Production Research, vol.46, issue.14, pp.3763-3781, 2008.

]. C. Pan08, N. Pangilinan, A. Wilson, and . Moore, Bus supervision deployment strategies and use of real-time automatic vehicle location for improved bus service reliability, Journal of the Transportation Research Board, vol.2063, issue.1, pp.28-33, 2008.

]. D. Paq13a, L. Paquereau, E. Piétrac, L. Niel, and . Bouresche, Démarche de formalisation et de synthèse de procédures d'exploitation d'une ligne de métro, Journée des Doctorants MACS, 2013.

]. D. Paq13b, L. Paquereau, E. Piétrac, L. Niel, and . Bouresche, Démarche de modélisation et d'évaluation de procédures d'exploitation d'une ligne de métro, Modélisation des Systèmes Réactifs -MSR, 2013.

]. D. Paq14, L. Paquereau, E. Piétrac, and . Niel, Bouresche : Determining of critical and dreaded states achieved during metro line supervision, 22 nd Mediterranean Conference of Control and Automation -MED, 2014.

]. L. Pas02 and . Pasquier, Modélisation de raisonnements tenus en contexte : application à la gestion d'incidents sur une ligne de métro, Thèse de doctorat, 2002.

]. D. Pei08, V. Peixoto, A. Batista, E. Atayde, R. Borges et al., Pádua : A comparison of BPMN and UML 2.0 activity diagrams, VII Simposio Brasileiro de Qualidade de Software, 2008.

]. I. Rae07, M. Raedts, Y. S. Petkovic, J. M. Usenko, J. F. Van-der-werf et al., Transformation of BPMN models for behaviour analysis, 5 th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS), 2007.

]. P. Ram87, W. M. 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.

]. J. [-rec09, M. Recker, K. Muehlen, J. Siau, M. Erickson et al., Measuring method complexity : UML versus BPMN, 15th Americas Conference on Information Systems AMCIS, 2009.

]. N. Rus06, W. M. Russell, A. Aalst, and P. Hofstede, Wohed : On the suitability of UML 2.0 activity diagrams for business process modelling, Proceedings of the 3 rd Asia-Pacific conference on Conceptual modelling, 2006.

]. N. Sad07 and . Sadou, Aide à la conception des systèmes embarqués sûrs de fonctionnement

]. P. Sar99 and . Sarri, Stabilisation optimale des systèmes à événements discrets à structure vectorielle : application à la sécurité opérationnelle des systèmes de production, Thèse de doctorat, 1999.

]. Z. Sba13, K. Sbaï, and . Barkaoui, Vérification formelle des processus workflow collaboratifs . Ingénérie des systèmes d'information, p.2013

]. K. Seo04, M. Seow, and . Pasquier, Supervising passenger land-transport systems, IEEE Transactions on Intelligent Transportation Systems, vol.5, issue.3, pp.165-176, 2004.

]. A. Ser14 and . Serebrenik, Activity diagrams and state machines, 2014.

]. A. Shr09 and . Shraideh, Analyse et optimisation d'un processus à partir d'un modèle BPMN dans une démarche globale de conception et de développement d'un processus métier : application à la dématérialisation de flux courrier du projet GOCD (PICOM)

]. R. Vin00, F. Vincent, C. Bonthoux, and . Lamoise, Evaluation du risque chimique, hiérarchisation des risques potentiels, Cahiers de Notes Documentaires -Hygiène et sécurité du travail (INRS), pp.29-34, 2000.

]. K. Yam96, J. Yamalidou, M. Moody, and P. Lemmon, Antsaklis : Feedback control of Petri nets based on place invariants, Automatica, vol.32, issue.1, pp.15-28, 1996.

]. C. Zan99, I. Zanarelli, L. Saker, and . Pasquier, Un projet de coopération ergonomes/concepteurs autour de la conception d'un outil d'aide à la régulation du trafic du métro, Actes de la Conférence Ingénierie des Connaissances, 1999.

]. C. Zan03 and . Zanarelli, Caractérisation des stratégies instrumentales de gestion d'environnements dynamiques : analyse de l'activité de régulation du métro, 38 e Congrès de la Société d'Ergonomie de Langue Française (SELF), 2003.

. Durant, une ligne de métro, l'opérateur de supervision est responsable de l'exécution de procédures pour la gestion des incidents. Cependant, lors de l'occurrence combinée d'incidents, les procédures utilisées peuvent se retrouver en concurrence, ce cas, des situations ne garantissant pas la sécurité des personnes existent et un accident peut se déclencher

. La-démarche-d, étude des procédures intègre tout d'abord leur représentation graphique avec la notation BPMN. Ces modèles de procédure, compréhensibles et accessibles

B. Laboratoire-de-recherche-christophe, S. Haddad-jean-marc, F. , A. T. Laurent, and B. , AMPERE Directeur de thèse: Éric NIEL Président de jury : Jean-Marc FAURE Composition du jury