[1]

R. Esser : « An Object Oriented Petri Net Language for Embedded System Design », article - 1997 - Computer Engineering and Networks Laboratory, Swiss Federal Institute of Technology (ETH).

[2]

R. Valette : « Les réseaux de Pétri », support de cours - septembre 2002

[3]

S. Khalfaoui : « Méthode de recherche des scénarios redoutés pour l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile », thèse soutenue le 26 septembre 2003 - rapport LAAS n° 03574.

[4]

M. Medjoudj : « Contribution à l'analyse des systèmes pilotés par calculateurs : Extraction de scénarios redoutés et vérification de contraintes temporelles », Doctorat, Université Paul Sabatier, Toulouse, 9 Mars 2006, 159p.

[5]

N. Sadou et H. Demmou : « Hybrid Simulation for Critical Scenarios Derivation », 2006 European Simulation and Modeling Conférence (ESM'2006), Toulouse (France), 23-25 Octobre 2006, pp.361-366

[6]

N. Sadou, H. Demmou, J.C. Pascal et R. Valette : « Fiabilité dynamique des systèmes hybrides : approche basée scénarios », Conférence Internationale Francophone d'Automatique (CIFA'2006), Bordeaux (France), 30 Mai - 1er Juin 2006, 6p.

[7]

N. Sadou, H. Demmou, J.C. Pascal et R. Valette : « Object Oriented Approach for Deriving Feared Scenarios in Hybrid Systems », 2005 European Simulation and Modelling Conference, Porto (Portugal), 24-26 Octobre 2005, pp.572-578.

[8]

N. Sadou, H. Demmou et R. Valette : « Minimalité des Scénarios dans le Cadre des Réseaux de Petri », Journées FAC'2006 "Formalisation des Activités Concurrentes", Toulouse (France,), 23-24 Mars 2006, 12p.

[9]

N. Sadou et H. Demmou : « Minimality of Critical Scenarios in Petri Net Models », 2006 IEEE International Conference on Systems, Man, and Cybernetics, Taipei (Taiwan), 8-11 Octobre 2006, pp.3422-3429

Rapport de thèse : N. SADOU , M. Medjoudj , S. Khalfaoui 

Autre Publications : H. DEMMOU




Copyright © 2008 LAAS-CNRS.