Skip to Main content Skip to Navigation
Journal articles

Reliability analysis of discrete event dynamic systems with Petri nets

Abstract : The purpose of this paper is to illustrate a method for addressing dynamic reliability of embedded systems using the Petri net model. The approach is based on the search of feared scenarios (which might lead the system to a critical situation) by proving some linear logic sequents that correspond to the ¯ring of a list of transitions of a Petri net. To avoid state space explosion, Petri net reachability is translated into provability of linear logic sequents. The method produces a number of scenarios, which may be redundant. To give relevant information to designers the scenarios must be minimal which means that only necessary events are included in a scenario. The concept of minimality of a scenario is de¯ned and introduced on the ESA-PetriNet tool that we have developed to implement the algorithm for the search of feared scenarios.
Document type :
Journal articles
Complete list of metadata
Contributor : Myriam Andrieux Connect in order to contact the contributor
Submitted on : Tuesday, January 12, 2010 - 4:23:40 PM
Last modification on : Thursday, January 20, 2022 - 12:54:08 PM


  • HAL Id : hal-00446444, version 1


Nabil Sadou, Hamid Demmou. Reliability analysis of discrete event dynamic systems with Petri nets. Reliability Engineering and System Safety, Elsevier, 2009, Vol.94 (11), pp. 1848-1861. ⟨hal-00446444⟩



Les métriques sont temporairement indisponibles