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 ar
In this tutorial, we discuss several practical issues regarding specification and solution of depend...
Petri Nets are graphical and mathematical tool used in many different science domains. Their charact...
Markov chains (and their extensions with rewards) have been widely used to determine performance, de...
Dependability evaluation main objective is to assess the ability of a system to correctly function o...
2. Petri net approach 3. Modelling with Petri nets * Control structure model (CSM) as place/transiti...
The conclusion about that the theories of algorithms, Petri nets and semi-Markovian processes can be...
Dependability models of complex distributed systems using Markovian techniques suffer from state spa...
International audienceThe purpose of the paper is to illustrate a method, based on scenario deriving...
International audienceThis paper presents a stepwise approach for dependability modeling, based on G...
A general stochastic hybrid process (GSHP) is a mathematical formalism that covers most of the requi...
International audienceFor distributed systems, i.e., large complex networked systems, there is a dra...
More and more, our society and economy rely on the correct operation of, often hidden, critical inf...
this paper we combine Petri Nets and Queueing Networks to a two-level hierarchy, hence called hierar...
International audienceThe purpose of this paper is to introduce a method for modelling the multi-sta...
This paper is keeping with the topic of two papers which treated dynamic reliability problems and we...
In this tutorial, we discuss several practical issues regarding specification and solution of depend...
Petri Nets are graphical and mathematical tool used in many different science domains. Their charact...
Markov chains (and their extensions with rewards) have been widely used to determine performance, de...
Dependability evaluation main objective is to assess the ability of a system to correctly function o...
2. Petri net approach 3. Modelling with Petri nets * Control structure model (CSM) as place/transiti...
The conclusion about that the theories of algorithms, Petri nets and semi-Markovian processes can be...
Dependability models of complex distributed systems using Markovian techniques suffer from state spa...
International audienceThe purpose of the paper is to illustrate a method, based on scenario deriving...
International audienceThis paper presents a stepwise approach for dependability modeling, based on G...
A general stochastic hybrid process (GSHP) is a mathematical formalism that covers most of the requi...
International audienceFor distributed systems, i.e., large complex networked systems, there is a dra...
More and more, our society and economy rely on the correct operation of, often hidden, critical inf...
this paper we combine Petri Nets and Queueing Networks to a two-level hierarchy, hence called hierar...
International audienceThe purpose of this paper is to introduce a method for modelling the multi-sta...
This paper is keeping with the topic of two papers which treated dynamic reliability problems and we...
In this tutorial, we discuss several practical issues regarding specification and solution of depend...
Petri Nets are graphical and mathematical tool used in many different science domains. Their charact...
Markov chains (and their extensions with rewards) have been widely used to determine performance, de...
DOI
Add to ORKG