ESA PetriNet est un logiciel développé par le groupe ISI du LAAS-CNRS. Il permet de générer les ensembles d’évènements qui conduisent un système dans un état particulier prédéfini. Ces ensembles d’évènements forment des scénarios, qui, dans le cas où l’état particulier représente un état de défaillance du système, sont appelés scénarios redoutés.

Par construction de son algorithme, ESA PetriNet fournit tous les scénarios strictement nécessaire et suffisant pour atteindre l’état spécifié (notions de complétude et de minimalité). Pour fonctionner, le logiciel a besoin d’une modélisation faite : soit d’un unique réseau de Petri, soit de plusieurs réseaux de Petri liés entre eux par des appels à méthodes, comme le permet l’aspect orienté-objets.

Configuration Requise


Prérequis à ESA_PetriNet version temporelle :

  • JRE version 6 ou supérieure
  • TINA

Prérequis à ESA_PetriNet version hybride :

  • JRE version 6 ou supérieure
  • TINA
  • Matlab
  • jmatlink.dll (à copier dans le répertoire ../windows/system32/)

Prérequis au Simulateur de Monte-Carlo :

  • JRE version 6 ou supérieure
  • TINA
  • Matlab
  • jmatlink.dll (à copier dans le répertoire ../windows/system32/)



Copyright © 2008 LAAS-CNRS.