Skip to Main content Skip to Navigation
Journal articles

ESA Petri net: Dynamic reliability analysis Tool

Abstract : This paper presents a new version of 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 the past version of the tool hybrid aspect (both discrete and continuous dynamic) of system is tacked into account by temporal abstraction. In the version presented in this paper, the system model is given by a hybrid Petri net (differential predicate-transition Petri net) and the hybrid model is directly considered (without temporal abstraction). The algorithm implemented deals with both continuous and discrete dynamics. Furthermore, generated scenarios are minimal (only necessary events). Only necessary information is provided to designer.
Document type :
Journal articles
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00522454
Contributor : Myriam Andrieux <>
Submitted on : Thursday, September 30, 2010 - 4:39:40 PM
Last modification on : Monday, October 5, 2020 - 9:44:03 AM

Identifiers

Citation

Nabil Sadou, Hamid Demmou, Romaric Guillerm. ESA Petri net: Dynamic reliability analysis Tool. International Journal of Adaptive and Innovative Systems, 2010, 1 (3/4), pp.201-216. ⟨10.1504/IJAIS.2010.034800⟩. ⟨hal-00522454⟩

Share

Metrics

Record views

385