H. Brettschneider, H. J. Genrich, and H. M. Hanisch, « Verification and performance analysis of recipe-based controllers by means of dynamic plant models, Proceedings de Second International Conference on Computer integrated Manufacturing in the Process Industries, 1996.

J. Buisson, Analysis of switching devices with bond graphs, Journal of the Franklin Institute, vol.330, issue.6, pp.1165-175, 1993.
DOI : 10.1016/0016-0032(93)90070-B

J. L. Chabot, Y. Dutuit, and A. Et-rauzy, « A Petri net approach to dynamic reliability problems, Proceedings of Esrel 2001, pp.1387-1394, 2001.

J. L. Chabot and Y. , Dutuit et A. Rauzy, « A petri net approach to dynamic reliability, 2001.

J. Chabot, Approche probabiliste relative à l'étude des scénarios d'incendie », thèse de l, 1998.

]. R. Champagnat, H. Pingaud, H. Alla, C. Valentin-roubinet, and J. M. , Flaus : « A gazstorage example as a benchmark for hybrid modelling, p.98, 1998.

]. R. Champagnat, P. Esteban, H. Pingaud, and R. , Valette : « Modelling and simulation of a hybrid system through Pr, Tr PN-DAE model », ADPM'98, 1998.

R. David and &. Alla, Du Grafcet aux réseaux de Petri, Hermes, 1989.

R. David and H. Alla, « Petri nets for modelling dynamics systems : a survey, Automatica, vol.30, pp.2-175, 1994.

H. Demmou, S. Khalfaoui, N. Rivière, and E. Guilhem, « A method for deriving critical scenarios from mechatronic systems, Journal Européen des Systèmes Automatisés, pp.36-43, 2002.

]. J. Devooght-92a, &. C. Devooght, and . Smidts, Probabilistic Reactor Dynamics -I: The Theory of Continuous Event Trees, Nuclear Science and Engineering, vol.111, pp.229-240, 1992.

]. J. Devooght-92b, &. C. Devooght, and . Smidts, Probabilistic Reactor Dynamics -II: A Monte-Carlo Study of a Fast Reactor Transcient, Nuclear Science and Engineering, vol.111, pp.241-256, 1992.

J. Devooght and C. Et-smidts, « A theoretical analysis of DYLAM-type event tree sequences, Proceedings of PSAM-II, pp.11-12, 1994.

A. Dubi, Monte Carlo Applications in Systems Engineering, John Wiley&Sons Ltd

]. D. Dubois and S. Gentil, Intelligence Artificielle: un outil pour l'informatique, 1990.

]. E. Dubois and H. Alla, Hybrid Petri Nets with a stochastic discrete part, European Control Conference, 1993.

]. J. Dugan, K. S. Trivedi, R. M. Geist, and V. F. Nicola, Extende Stochastic Petri Nets : Applications and Analysis, 10 th International Symposium on Computer Performance, pp.507-519

A. Rauzy, J. Signoret, and P. Thomas, Modélisation d'un système dynamique simple et évaluation de sa fiabilité par Réseaux de Petri Stochastiques, 1996.

Y. Dutuit, E. Châtelet, J. P. Signoret, and P. Thomas, « Dependability modeling and evaluation by using stochastic Petri nets : application to two test cases, Reliability Engineering and System Safety 55, pp.117-124, 1997.

Y. Dutuit, A. Rauzy, J. Signoret, and P. Thomas, Analyse qualitative et quantitative de la fiabilité d'un système dynamique simple, Congrès Qualité et Sûreté de Fonctionnement, 1997.

J. F. Ereau, M. Saleman, R. Valette, and H. Demmou, Réseaux de Petri pour l'évaluation des systèmes redondants, p.9

J. Ereau and M. Saleman, Dynamic fault trees based on synchronised Petri nets, p.95

J. Ereau and M. Saleman, Modelling and Simulation of a Satellite Constellation based on Petri Nets, Annual Reliability and Maintenability Symposium Proceedings, 1996.

J. Ereau, Réseaux de Petri pour l'étude de la disponibilité opérationnelle des systèmes spatiaux en phases d'avant projet, 1997.

G. Florin and S. Natkin, Les réseaux de Petri stochastiques, Techniques et Sciences Informatiques, p.1, 1985.

N. Fota, Spécification et Construction Incrémentale de Modèles de Sûreté de Fonctionnement -Application au CAUTRA, thèse présentée au LAAS, 1997.

C. W. Gardiner, Handbook of Stochastic Methods, 1985.

R. Garnier and . Garnier, Une méthode efficace d'acceleration de la simulation des réseaux de Petri stochastiques », thèse de l, 1998.

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

V. Gehlot, Aproof theoric approach to semantics of concurrency, 1992.

J. Hartmann and . Genrich, Ines Schuart : « Modelling and verification of Hybrid systems using hierarchical coloured Petri nets », ADPM'98, 1998.

J. Y. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

S. Guarro and D. Okrent, The logic Flowgraph : a new approach to process failure modelling and diagnosis for disturbance analysis applications, Nuclear Technology, vol.67, 1984.

J. Hochon, R. Champagnat, and R. Valette, Modélisation et simulation hybride à l'aide des réseaux de Petri Prédicats-Transitions couplés à des équations algébro-différentielles, Actes du 4e Colloque Africain sur la Recherche en Informatique, CARI'98, pp.12-15737, 1998.

D. Jampi, Détermination d'une méthodologie d'aide à la conception d'un système de contrôle commande numériques sûrs de fonctionnement, Thèse de doctorat, 2001.

K. Jensen, Coloured Petri Nets -Basic Concepts, Analysis Methods and Practical Use Basic Concepts, EATCS Monographs on Theoretical Computer Science, vol.1, 1992.

K. Jensen, Coloured Petri Nets -Basic Concepts, Analysis Methods and Practical Use, Analysis Methods. Monographs in Theoretical Computer Science, vol.2, 1994.

K. Jensen, Coloured Petri Nets -Basic Concepts, Analysis Methods and Practical Use, Practical Use. Monographs in Theoretical Computer Science, 1997.

]. G. Juanole and Y. Atamna, Dealing with Arbitrary time distributions with the stochastic and timed Petri net model-Application to queuing systems, Proceedings of PNPM, 1991.

C. Kehren and C. Seguin, Evaluation qualitative de systèmes physiques pour la sûreté de fonctionnement, Journées FAC'2003 : Formalisation des Activités Concurrentes, les 12 et 13 mars 2003 à l'IRIT

D. De and . Inp-enseeiht, Modélisation et validation par simulation des systèmes hybrides, 2000.

S. Khalfaoui, E. Guilhem, H. Demmou, and N. Rivières, Extraction de scénarios critiques à partir d'un modèle RdP à l'aide de la logique Linéaire, Modélisation des systèmes réactifs, pp.17-19, 2001.

S. Khalfaoui, E. Guilhem, H. Demmou, and R. Valette, Modeling critical mechatronic systems with Petri Nets and feared scenarios derivation, ECM2S5 5th Workshop on Electronics, Control, Modeling, Measurement and Signals, pp.55-59, 2001.

S. Khalfaoui, E. Guilhem, E. , H. Demmou, and R. Valette, «A method for deriving critical scenarios in mechatronic systems», ?µ13, Europeen Conference on System Dependability and Safety, 2002.

S. Khalfaoui, H. Demmou, E. Guilhem, and R. , Valette, « An algorithm for deriving critical scenarios in mechatronic systems, IEEE International Conference on Systems Man and Cybernetics (SMC'02), pp.6-9, 2002.

S. Khalfaoui, E. Guilhem, H. Demmou, and R. Valette, Une méthode pour obtenir des scénarios critiques dans les systèmes mécatroniques, Colloque Européen de Sûreté de Fonctionnement (lm13), Palais des Congrès -Lyon -France -18 au 21 Mars, 2002.

]. S. Khalfaoui-02c, E. Khalfaoui, H. Guilhem, R. Demmou, and . Valette, Une méthode pour obtenir des scénarios critiques dans les systèmes mécatroniques, 3ème Congrès des Doctorants de l'Ecole Doctorale Systèmes, pp.22-23, 2002.

L. Michael-kristensen and A. Valmari, « Finding stubborn sets of coloured Petri nets without unfolfing, pp.22-26, 1998.

. Luis-allan-künzle, Raisonnement temporel basé sur les réseaux de Petri pour des systèmes manipulant des resources, Thèse de Doctorat de l, 1997.

]. P. Labeau-02a, C. Labeau, and . Kermisch, Approche dynamique de la fiabilité des systèmes, 2002.

]. P. Labeau-02b, C. Labeau, and . Kermisch, Approche dynamique de la fiabilité des systèmes, 2002.

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

J. C. Laprie, J. Arlat, J. P. Blanquart, A. Costes, Y. Crouzet et al., Guide de la sûreté de fonctionnement, 1996.

A. Lefort, Les Hypernets : un outil de modélisation et de spécification, thèse présentée au LAIL, le 10 juillet, 1998.

A. Leroy and J. P. Signoret, Le risque technologique " , Collection " Que sais-je ?, 1992.

S. Marquetty, DEVYSE, développement d'un système électronique automobile " , manuel d'utilisation, 1995.

M. A. Marsan, G. Balbo, and G. Conte, A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems, Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems , SIGMETRICS '83, pp.93-122, 1984.
DOI : 10.1145/800040.801407

M. A. Marsan and G. Chiola, On Petri nets with deterministic and exponentially distributed firing times, Lecture Notes in Computer Science, vol.266, pp.132-145, 1986.
DOI : 10.1007/3-540-18086-9_23

M. Marseguerra and E. Zio, Principles on Monte Carlo simulation for application to reliability and availability analysis, 2001.

M. Marseguerra and E. Et-zio, « Towards dynamic PSA via Monte Carlo methods, Proceedings of Esrel'93, pp.415-427, 1993.

. Marseguerra, M. Marseguerra, and E. Et-zio, « Approaching dynamic reliability by Monte Carlo simulation », Reliability and safety assessment of dynamic process systems, NATO ASI Series, vol.120, 1994.

. Marseguerra, M. Marseguerra, and E. Et-zio, « Improving the efficiency of Monte Carlo methods in PSA by using neural networks, Proceedings of PSAM-II, 1994.

M. Marseguerra and &. E. Zio, The cell-to-boundary method in Monte Carlo-based dynamic PSA, Reliability Engineering & System Safety, vol.48, issue.3, 1995.
DOI : 10.1016/0951-8320(95)00010-Y

M. Marseguerra and &. E. Zio, Monte Carlo approach to PSA for dynamic process systems, Reliability Engineering & System Safety, vol.52, issue.3, 1996.
DOI : 10.1016/0951-8320(95)00131-X

G. Moncelet, H. Demmou, M. Paludetto, and J. Porras, Modélisation par réseaux de Petri des systèmes mécatroniques du produit automobile pour l'évaluation de la sûreté de fonctionnement, 2ème congrès Qualité et Sûreté de Fonctionnement, 1997.

G. Moncelet, S. Moncelet, H. Christensen, M. Demmou, J. Paludetto et al., Estimation de la sûreté de fonctionnement d'un système mecatronique simple à l'aide des Réseaux de Petri colorés, p.98, 1998.

G. Moncelet, S. Moncelet, H. Christensen, M. Demmou, J. Paludetto et al., Qualitative an quantitative dependability evaluation of a simple mechatronic system using Coloured Petri Nets », Workshop on practical use of coloured Petri nets and DesignCPN

G. Moncelet, S. Moncelet, H. Christensen, M. Demmou, J. Paludetto et al., Application des Réseaux de Petri colorés à l'étude de la sûreté de fonctionnement d'un système mecatronique de l'industrie automobile, p.11

S. Natkin, Les réseaux de Petri stochastiques, Thèse de Docteur Ingénieur CNAM, 1980.

A. Pagès and M. Gondran, Fiabilité des systèmes, 1980.

D. Perez, R. Garnier, and M. Chevalier, Une méthode complète d'accélération de la simulation de Monte-Carlo d'un réseau de Petri stochastique généralisé pour des systèmes non markoviens, p.96

A. Pnuelli, In Transition From Global to Modular Temporal Reasoning about Programs, Logics and Models of Concurrent Systems, NATO ASI 13, 1984.
DOI : 10.1007/978-3-642-82453-1_5

B. Pradin-chézalviel and R. Valette, Réseaux de Petri et Logique Linéaire Chapitre 6 de l'ouvrage " Vérification et mise en oeuvre des réseaux de Petri, Editions Hermès, Traité IC2 (Information-Commande-Communication), pp.209-229, 2003.

B. Pradin-chézalviel, R. Valette, and L. Künzle, Scenario durations characterization of t-timed Petri nets using linear logic, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), pp.208-217, 1999.
DOI : 10.1109/PNPM.1999.796567

B. Pradin-chézalviel, L. A. Künzle, F. Girault, and R. Valette, Calculating duration of concurrent scenarios in time Petri nets, APII-JESA Journal Européen des Systèmes Automatisés, pp.8-9943, 1999.

]. B. Pradin-99b, 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.

]. B. Pradin-99c, L. A. Pradin-chézalviel, F. Künzle, R. Girault, and . Valette, Evaluation temporelle de scénario de réseau de Petri incluant du parallélisme, 2e Conférence MSR'99, Modélisation des Systèmes Réactifs, pp.24-25131, 1999.

A. Rauzy and Y. Dutuit, Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia, Reliability Engineering & System Safety, vol.58, issue.2, 1997.
DOI : 10.1016/S0951-8320(97)00034-3

J. Signoret, Modélisation et simulation dans le domaine de la sûreté de fonctionnement, REE, p.8, 1996.

R. M. Sinnamon and &. J. Andrews, New approaches to evaluating fault trees, Reliability Engineering & System Safety, vol.58, issue.2, 1997.
DOI : 10.1016/S0951-8320(96)00036-1

N. Siu, Risk assessement for dynamic systems : An overview, Reliability Engineering & System Safety, vol.43, 1994.

S. Swaminathan-99a-]-swaminathan and C. Et-smidts, « The event sequence diagram framework for dynamic PRA », Reliability Engineering and System Safety 63, pp.73-90, 1999.

S. Swaminathan-99b-]-swaminathan and C. Et-smidts, « The mathematical formulation for the event sequence diagram framework », Reliability Engineering and System Safety 65, pp.103-118, 1999.

R. Valette, Les réseaux de Petri, 1992.

E. Villani, J. C. Pascal, P. E. Miyagi, and R. Valette, Apport d'une approche à objets fondée sur les réseaux de Petri à l'analyse des systèmes hybrides, pp.8-10, 2002.

E. Villani, J. C. Pascal, P. E. Miyagi, and R. Valette, Differential predicate transition Petri nets and objects, an aid for proving properties in hybrid systems, ADHS 03, IFAC Conference on Analysis and Design of Hybrid Systems, pp.117-122, 2003.

A. Villemeur, Sureté de fonctionnement des systèmes industriels, 1988.

C. Zanne and J. F. Aubry, Une méthode de conception des systèmes de commande numérique pour une classe de processus rapides, Sûreté de fonctionnement, pp.5-435