ESA PetriNet: Petri Net Tool for Reliability Analysis Romaric Guillerm, Nabil Sadou, Hamid Demmou 14 Oct. 2009 LAAS-CNRS Outline * General Context and Motivation System Modelling…
