. J. Abrial, Steam-boiler control specification problem, Material for the Dagstuhl meeting Methods for Semantics and Specification, 1995.

H. Alla and R. David, Discrete, continuous, and hybrid Petri nets
URL : https://hal.archives-ouvertes.fr/hal-00495611

J. Aubry, Conception des systèmes de commande numériques des convertisseurs électromécaniques : vers une méthodologie intégrant la sûreté de fonctionnement, 1987.

&. Aubry, . Zanne, J. Aubry, and C. Zanne, Intégration de la sûreté de fonctionnement dans la conception des systèmes de commande numérique des processus électromécaniques. APII, AFCET -Sûreté de fonctionnement, pp.297-324, 1991.

R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas, Discrete abstractions of hybrid systems, Proceedings of IEEE, pp.971-984, 2000.
DOI : 10.1109/5.871304

&. Alur, ]. R. Dill, D. Alur, and . Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

P. Antsaklis and X. Koutsoukos, Hybrid Systems: Review and Recent Progress, Software-Enabled Control: Information Technologies for Dynamical Systems
DOI : 10.1002/047172288X.ch14

A. Arnold, D. Begay, and P. , Crubille, «Construction and analysis of systems with MEC», 1994.

. I. Barrangan, . Santiago, J. M. Roth, and . Faure, Obtaining temporal and timed properties of logic controllers from fault tree analysis, 12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, pp.243-248, 2006.

J. Batut, Fiabilité prévisionnelle du réseau à très haute tension d'edf, 5eme Colloque international de fiabilité et de maintenabilité, 1986.

. S. Bernadi, GreatSPN in the new millenium, Tool Session of 9th Int. Workshop on Petri Nets and Performance Models, 2001.

. C. Béounes and . Béounes, SURF-2: A program for dependability evaluation of complex hardware and software systems, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing, pp.668-673, 1993.
DOI : 10.1109/FTCS.1993.627372

. A. Bondavalli and . Bondavalli, Dependability Analysis in the Early Phases of UML Based System Design, Int. Journal of Computer Systems- Science&Engineering, vol.16, pp.265-275, 2001.

]. G. Booch, J. Rumbaugh, and I. Jacobson, Object-oriented analysis and design with applications. 2 The Unified Modeling Language User Guide, 1994.

&. Bouissou and . Bon, A new formalism that combines advantages of fault-trees and Markov models: Boolean logic Driven Markov Processes. Reliability Engineering and System Safety, pp.149-163, 2003.

]. R. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.35677-691, 1986.
DOI : 10.1109/TC.1986.1676819

J. P. Calvez, Spécification et conception des systèmes ? une méthodologie, 1992.

J. Cardoso, Time Fuzzy Petri Nets, Fuzziness in Petri Nets ? Studies in Fuzziness and Soft Computing, pp.115-145, 1999.

M. Cepin and B. Mavko, A dynamic fault tree. Reliability Engineering and System Safety, pp.83-91, 2002.

R. Champagnat, P. Esteban, H. Pingaud, and R. Valette, Modelling and simulation of a hybrid system through Pr/Tr PN DAE model, ADPM'98 3rd International Conference on Automation of Mixed Processes, pp.131-137, 1998.

]. E. Chatelet, Sûreté de fonctionnement : méthodes et outils de base, 2000.

G. Ciardo and K. S. Trivedi, SPNP: The Stochastic Petri Net Package (Version 3.1), 1st Int. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'93), pp.390-391, 1993.
DOI : 10.1109/pnpm.1989.68548
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.4411

J. Cury, B. Krogh, and T. Niinomi, Synthesis of supervisory controllers for hybrid systems based on approximating automata, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.564-569, 1998.
DOI : 10.1109/9.664159

. David, Du GRAFCET aux réseaux de Petri. Hermes Sciences Publication, 1992.

. D. Deavours, The Mobius framework and its implementation, IEEE Transactions on Software Engineering, vol.28, issue.10, pp.956-969, 2002.
DOI : 10.1109/TSE.2002.1041052

H. Demmou, S. Khalfaoui, N. Rivière, and E. Guilhem, Extracting critical scenarios from a Petri net model using linear logic, Journal Européen des Systèmes Automatisés (APII-JESA), vol.36, pp.7987-999, 2002.

. H. Demmou, M. Demmou, N. Messaadia, A. E. Sadou, and . Sahraoui, Intégration de la sûreté de fonctionnement dans les processus d'ingénierie système, 7ème Congres International de Génie Industriel, pp.5-8, 2007.

&. Desieno, ]. C. Stine, L. L. Desieno, and . Stine, A Probability Method for Determining the Reliability of Electric Power Systems, IEEE Transactions on Power Apparatus and Systems, vol.83, issue.2, pp.174-181, 1964.
DOI : 10.1109/TPAS.1964.4765983

]. A. Dubi, Monte Carlo Applications in Systems Engineering, 2000.

. Eia and . Standard, Processes for engineering a system Electronic industries alliance [Esteban & al, 2005] A component based approach for system design and virtual prototyping, 12th Annual European Concurrent Engineering Conference (ECEC'2005), pp.11-1385, 1999.

R. Garnier, Une méthode efficace d'accélération de la simulation des réseaux de Petri stochastiques. Th. Automatique, productique, 1998.

]. C. Garret, S. B. Guarro, and G. E. , Apostolakis, «Development of a methodology for assessing the safety of embedded software systems», 1993.

J. Girard, Linear logic, Linear Logic, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

]. F. Girault, Formalisation en Logique Linéaire du fonctionnement des réseaux de Petri, Thèse de Doctorat, N°2870, 1997.

A. Gollu and P. Varaiya, Hybrid dynamical systems, Proceedings of the 28th IEEE Conference on Decision and Control, pp.2708-2712, 1989.
DOI : 10.1109/CDC.1989.70671

H. Gueguen and M. Lefebvre, A comparison of mixed specification formalisms, Journal Européen des Systèmes Automatisés, vol.35, issue.4, pp.381-394, 2001.

. Guerrero, D. Guerrero, J. Figueiredo, and A. Perkusich, An object-based modular CPN approach: its application to the specification of a cooperative editing environment Advances on Petri Nets, Lecture Notes in Computer Science, pp.338-354, 2001.

. A. Hélias, F. Hélias, J. Guerrin, J. Harmand, and . Steyer, Abstraction en modèles discrets de modèle d'évolution de stocks continus : Application à la gestion des effluents d'élevage, Système d'Information, 2002.

A. Hélias, F. Guerrin, and J. Steyer, Abastracting Continuous System Behaviours into Timed Automata: Application to Diagnosis of an Anaerobic Digestion Process, International Workshop on Principles and Diagnosis, 2004.

. Henzinger, H. T. Henzinger, and . Wong-toi, Using HyTech to synthesize control parameters for a steam boiler, Lecture Notes in Computer Science, vol.1165, 1996.
DOI : 10.1007/BFb0027241

. T. Henzinger, X. Henzinger, J. Nicollin, S. Sifakis, and . Yovine, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994.
DOI : 10.1109/LICS.1992.185551

. T. Henzinger, H. Henzinger, H. Ho-p, and . Wong-toi, HYTECH: a??model checker for hybrid systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.110-122, 1997.
DOI : 10.1007/s100090050008

. T. Henzinger, H. Henzinger, H. Ho-p, and . Wong-toi, Algorithmic analysis of nonlinear hybrid systems, IEEE Transactions on Automatic Control, vol.43, issue.4, pp.540-554, 1998.
DOI : 10.1109/9.664156

. Henzinger, What's Decidable about Hybrid Automata?, Journal of Computer and System Sciences, vol.57, issue.1, pp.94-124, 1998.
DOI : 10.1006/jcss.1998.1581
URL : http://doi.org/10.1006/jcss.1998.1581

]. C. Hirel, R. Sahner, X. Zang, and K. Trivedi, Reliability and performability modeling using SHARPE, 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, pp.1789-345, 2000.
DOI : 10.1007/3-540-46429-8_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.1445

]. R. Howard, Dynamic programming and Markov processes. T, 1960.

]. K. Jensen, «Coloured Petri Nets -Basic Concepts, Basic Concepts, 1992.

K. Jensen, Coloured Petri nets: basic concepts, analysis methods and practical use. 2

]. M. Kaaniche, Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances. Rapport LAAS No99062, Habilitation, Institut National Polytechnique, 1999.

&. Köster, F. Köster, S. Schof, M. Sonnenschein, and R. Wieting, Modelling of a library with THORNs. Concurrent Object Oriented Programming and Petri Nets, Lecture Notes in Computer Science, pp.375-390, 2001.

P. &. Labeau and C. Kermisch, Approche dynamique de la fiabilité des systèmes, 2002.

&. Lafortune, ]. S. Chen, E. Lafortune, and . Chen, A relational algebric approach to the representation and analysis of discret-event system, Proc. Amer. Contr. Conf, pp.2893-2898, 1991.

C. Lakos, From Coloured Petri Nets to Object Petri Nets, Lecture Notes in Computer Science, vol.935, pp.223-228
DOI : 10.1007/3-540-60029-9_45

. K. Larsen, P. Larsen, . Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

&. Loures, ]. E. Pascal, J. C. Rocha-loures, and . Pascal, A DIAGNOSIS FRAMEWORK OF HYBRID DYNAMIC SYSTEMS BASED ON TIME FUZZY PETRI NETS, 16th IFAC World Congress, pp.3-8, 2005.
DOI : 10.3182/20050703-6-CZ-1902.00294

]. Loures, Surveillance et diagnostic des phases transitoires des systèmes hybrides basés sur l'abstraction des dynamiques continues par réseau de Petri temporel flou, p.158, 2006.

. R. Manian, J. B. Manian, D. Dugan, K. J. Coppit, and . Sullivan, Combining various solution techniques for dynamic fault tree analysis of computer systems, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231), 1998.
DOI : 10.1109/HASE.1998.731591

M. C. Mayer and F. Pirri, First order abduction via tableau and sequent calculi, Logic Journal of IGPL, vol.1, issue.1, pp.99-117, 1993.
DOI : 10.1093/jigpal/1.1.99

M. Medjoudj, S. Khalfaoui, H. Demmou, and R. Valette, A Method for Deriving Feared Scenarios in Hybrid Systems, Probabilistic Safety Assessment and Management (PSAM'7 -ESREL'04), pp.14-18, 2004.
DOI : 10.1007/978-0-85729-410-4_300

&. Messaadia, ]. M. Sah, A. Messaadia, and . Sahraoui, PLM as linkage process in a systems engineering framework, International Journal of Product Development, vol.4, issue.3/4, pp.382-395, 2007.
DOI : 10.1504/IJPD.2007.012503

G. 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, N°3076, 1998.

M. J. Et and A. P. , Supervisory control of discrete event systems using Petri nets, Kluwer, p.186, 1998.

T. Murata and . Petri, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

]. O. Naud, Modélisation hybride pour la supervision de systèmes mécatroniques : application à la stabilité en pente de machines mobiles, Thèse de doctorat, Institut National des Sciences Appliquées, p.173, 2003.

&. Nerode, ]. A. Kohn, . Nerode, W. Et, . Kohn et al., Models for hybrid systems: Automata, topologies, controllability, observability, Lecture Notes in Computer Science, vol.736, pp.317-356, 1993.
DOI : 10.1007/3-540-57318-6_35

&. Nerode, ]. A. Kohn, . Nerode, W. Et, . Kohn et al., Multiple agent hybrid control architecture, Lecture Notes in Computer Science, vol.736, pp.297-316, 1993.
DOI : 10.1007/3-540-57318-6_34

&. A. Ouardani, P. Ouardani, M. Esteban, J. C. Paludetto, and . Pascal, A meta-modeling approach for sequence diagrams to Petri nets transformation within the requirements validation process, European Simulation and Modeling Conférence (ESM'2006), pp.23-25345, 2006.

M. Paludetto, Sur la commande de procédés industriels : une méthodologie basée objets et réseaux de Petri, 1991.

&. Pappas, ]. G. Sastry, G. Pappas, S. Sastry, and A. P. , Towards continuous abstractions of dynamical and control systems, Hybrid Systems IV, pp.1273-329, 1996.
DOI : 10.1007/BFb0031567

C. A. Petri, Kommunikation mit Automaten, Ph.D, p.1962, 1962.

. B. Pradin, R. Pradin-chézalviel, L. A. Valette, and . Künzle, Scenario duration characterization of t-timed Petri nets using linear logic, IEEE PNPM'99, 8th International Workshop on Petri Nets and Performance Models, pp.208-217, 1999.

C. Ramchandani, Analysis of asynchronous concurrent systems by Petri nets, Massachusetts Inst. Technol, 1974.

&. Rauzy, ]. A. Dutuit, and Y. Rauzy, Dutuit, «Exact and truncated computations of prime implicants of coherent and non coherent fault trees within Aralia», Reliability Engineering & System Safety, vol.58, 1997.

H. N. Rivière, R. Demmou, M. Valette, and . Medjoudj, SYMBOLIC TEMPORAL CONSTRAINT ANALYSIS, AN APPROACH FOR VERIFYING HYBRID SYSTEMS, 16th IFAC World Congress, pp.3-8, 2005.
DOI : 10.3182/20050703-6-CZ-1902.00331

]. N. Rivière, Modélisation et analyse temporelle par réseaux de Petri et logique linéaire, 2003.

J. Rumbaugh, I. Jacobson, and G. Booch, Unified Modeling Language Reference Manual, 2004.

. N. Sadou, H. Sadou, J. C. Demmou, R. Pascla, and . Valette, Object oriented approach for deriving feared scenarios in hybrid systems, European Simulation and Modelling Conference, pp.24-26572, 2005.

. N. Sadou, H. Sadou, J. C. Demmou, R. Pascal, and . Valette, Fiabilité dynamique des systèmes hybrides : approche basée scénarios, Conférence Internationale Francophone d'Automatique (CIFA'2006), pp.30-31, 2006.

. N. Sadou, H. Sadou, J. C. Demmou, R. Pascal, and . Valette, Continuous dynamic abstraction for reliability and safety analysis of hybrid systems, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFEPROCESS'2006), Beijing (Chine), 30 Août -1er Septembre, 2006.

. N. Sadou, H. Sadou, and . Demmou, Minimality of Critical Scenarios in Petri Net Models, 2006 IEEE International Conference on Systems, Man and Cybernetics, pp.8-113422, 2006.
DOI : 10.1109/ICSMC.2006.384648

]. N. Sadou, Multi-model approach for dependability analysis of hybrid system, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), pp.25-28297, 2007.

&. Sahraoui, . E. Al-]-a, . M. Sahraoui-;-d, A. P. Buede, and . Sage, Issues for systems engineering research, 14th Annual International Symposium INCOSE 2004, pp.11-20, 2004.

&. Sinnamon, . M. Al-]-r, and &. J. Sinnamon, Andrews, «New approaches to evaluating fault trees», Reliability Engineering & System Safety, vol.58, 1997.
DOI : 10.1016/s0951-8320(96)00036-1

&. J. Stiver, P. Stiver, M. Antasaklis, and . Lemmon, A logical DES approach to the design of hybrid control systems, Mathematical and Computer Modelling, vol.23, issue.11-12, pp.11-12, 1996.
DOI : 10.1016/0895-7177(96)00064-7

]. P. Struss, Automated abstraction of numerical simulation models - Theory and practicalexperience", proceedings of Model Based Systems and Qualitative Reasoning for Intelligent Tutoring Systems, pp.161-168, 2002.

&. Travé, P. Travé-massuyèsl, F. Dague, and . Guerrin, Le raisonnement qualitatif pour les sciences de l'ingénieur, Diagnostic et maintenance, p.505, 1997.

R. Valk, Petri Nets as Token Objects, Lecture Notes in Computer Science, vol.1420, pp.1-25
DOI : 10.1007/3-540-69108-1_1

&. Vardi, ]. M. Wolper, P. Vardi, and . Wolper, An automata-theoretic approach to automatic program, Symposium on Logic in Computer Science (LICS'86), 1986.

]. M. Vardi, An automata-theoretic approach to linear temporal logic, Lecture Notes in Computer Science, vol.1043, pp.238-266, 1996.
DOI : 10.1007/3-540-60915-6_6

&. E. Villani, J. C. Villani, P. E. Pascal, R. Miyagi, and . Valette, Object oriented approach for cane sugar production: modelling and analysis, Control Engineering Practice, vol.12, issue.10, pp.101279-1289, 2004.
DOI : 10.1016/j.conengprac.2004.04.011

&. E. Villani, P. E. Villani, R. Miyagi, and . Valette, Modelling and analysis of hybrid supervisory systems. A Petri net approach, p.224, 2007.

J. Zaytoon, «Systèmes dynamiques hybrides», ouvrage collectif sous la direction de, collection Hermes Science