Evaluation probabiliste et vérification déterministe en sûreté de fonctionnement à partir d'un unique réseau de Petri coloré
Journée du GTR "Recherche Méthodologique" de l'Institut pour la Maîtrise des Risques (IMdR)