ESA PetriNet: Petri net Based Tool for Reliability Analysis

International audienceThis paper describes the critical (feared) scenarios derivation tool ESA PetriNet (Extraction Scenarios Algorithm from Petri Net) available from : http://www.laas.fr/ESA. ESA PetriNet allows to derive scenarios leading to critical (feared) situation in embedded systems. The system model is given by a Petri net. To derive critical scenarios and to avoid the state space explosion, the solution is to use directly the Petri net model. Linear logic (which does not appears in this paper)offers a theoretical framework to interpret the Petri net model and to extract the scenarios. ESA PetriNet provides all minimal scenarios which contain strictly necessary and sufficient events to reach a specified state. ESA PetriNet can be used with classical Petri net modelling or in its objects oriented version