Minimality of Critical Scenarios with Linear Logic and Cutsets

Full Text - Paper Withdrawn PDF PDF
Author(s) Leila Boucerredj | Nasreddine Debbache
Pages 130-136
Volume 1
Issue 2
Date November, 2011
Keywords Petri nets, scenarios, linear logic, partial order, fault tree, minimality.
Abstract

The aim of this paper is to define the concept of minimality of scenarios, considering that in our approach a scenario is defined as a partial order between events. For deriving feared scenario (ie: scenario that leads the system to critical situation) Petri nets are used for the modeling of systems. To avoid space state explosion, Petri net reachability is translated into provability of linear logic sequent. It is possible to determine a partial order of transition firings and extract feared scenarios which are represented by sequents. By analogy with the concept of minimal cutsets for the fault trees, we define in this paper the concept of minimal scenario.

< Back to Nov Issue