ESA PetriNet: Petri net based tool for reliability analysis

This 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.