Petri nets and Hybrid-state Markov processes in a power-hierarchy of dependability models

Petri nets and Hybrid-state Markov processes in a power-hierarchy of dependability models

Publication info
Author
Mariken Everdij & Henk Blom, National Aerospace Laboratory NLR
Category
Safety Management

This paper extends the power hierarchy of dependability models developed by Malhotra and Trivedi (1994) and Muppala et al. (2000) to include Piecewise Deterministic Markov Processes (PDP) and PDP-related Petri Nets. PDPs are known as the largest class of continuous-time hybrid state Markov processes not involving di usions. Since Petri Nets have proven to be extremely useful in developing Markov process models of complex practical processes, there is a clear need for a type of Petri Net that can play such role for developing PDP models. This paper defines such Petri Nets and shows their relation to PDPs and other Petri Nets.

SKYbrary Partners:

Safety knowledge contributed by: