Description of ESA PetriNet


ESA PetriNet is a software developed by the ISI group of the LAAS-CNRS. It allows the generatation of the sets of events that lead a system in a particular predefined state. These sets of events form scenarios that, if the particular state is a system failure state, are called feared scenarios..

By construction of its algorithm, ESA PetriNet provides all scenarios strictly necessary and sufficient to reach the specified state (notions of completeness and minimality). To work, the tool needs of a given model which is composed: either by a single Petri net, or by several Petri nets interconnected through method calls, as permitted by the objects-oriented aspect.

Required Configuration


Prerequisite to the temporal version of ESA_PetriNet:

  • JRE version 6 or higher
  • TINA

Prerequisite to the hybrid version of ESA_PetriNet:

  • JRE version 6 or higer
  • TINA
  • Matlab
  • jmatlink.dll (to copy in the directory ../windows/system32/)

Prerequisite to the Monte-Carlo Simulator:

  • JRE version 6 or higer
  • TINA
  • Matlab
  • jmatlink.dll (to copy in the directory ../windows/system32/)



Copyright 2008 LAAS-CNRS.