Systems, Man, and Cybernetics

 

Home

• [P362] ESA PetriNet: Petri net Based Tool for Reliability Analysis
  Author(s): Nabil Sadou, Romaric Guillerm, Hamid Demmou
  
  

  Abstract
  This paper describes the critical (feared) scenar- ios derivation tool ESA PetriNet (Extraction Scenarios Algo- rithm 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.

  
   

Full Text (PDF)