Compositional Specification of a Multi-agent System by Stochastically and Dynamically Coloured Petri Nets

Abstract

For safety-critical operations in the nuclear and chemical industries, Petri nets have proven to be useful for the compositional specification of appropriate accident risk assessment models. For air traffic operations, the development of such model is more challenging due to the high distribution of and complex interactions between the multiple agents involved. The specific problems are: A) Need for a hierarchy from low level Petri nets to the complete Petri net; B) Duplication of arcs and transitions within a low level Petri net; C) Cluttering of interconnections. The chapter develops adequate solutions for each of these problems. The solution approaches are first explained graphically, and next formally. The approach developed is illustrated for an air traffic operation example.

Safety Risk Simulation of an Airborne Self Separation Concept of Operation

“…6), which supports the use of two complementary evaluation approaches: i) MC simulation of this model, and ii) stochastic analysis of this model in order to support rare event importance sampling.…”

“…6). Subsequently, stochastic analysis and Monte Carlo simulations are developed to evaluate the model (Refs.…”

Probabilistic reachability analysis for large scale stochastic hybrid systems

“…In order to use MC simulation for the estimation of safety risk, we first developed a MC simulator of these operations such that the simulated trajectories constitute executions of a generalized SHS [23]. The dimensionality of the resulting MC simulation model is very large, e.g.…”

Free Flight Collision Risk Estimation by Sequential MC Simulation

“…Everdij et al [30] explained which Petri net model specification approaches from literature solve problem 1, and developed novel approaches to solve problems 2 and 3. Together, these approaches are integrated into a compositional specification approach for SDCPN, which is explained below.…”

“…In order to avoid problems 2 and 3, high level interconnection arcs have been introduced that allow, with well-defined meanings, arcs to initiate and/or to end on the edge of the box surrounding an LPN [30]. The meaning of these interconnections from or to an edge of a box allows several arcs or transitions to be represented by only one arc or transition.…”