Petri nets and dependability

Simona Bernardi; Andrea Bobbio; Susanna Donatelli

doi:10.1007/978-3-540-27755-2_4

Petri nets and dependability

Simona Bernardi
, Andrea Bobbio
, Susanna Donatelli

Research output: Contribution to journal › Article › peer-review

Abstract

Dependability evaluation main objective is to assess the ability of a system to correctly function over time. There are many possible approaches to the evaluation of dependability: in these notes we arc mainly concerned with dependability evaluation based on probabilistic models. Starting from simple probabilistic models with very efficient solution methods we shall then come to the main topic of the paper: how Petri nets can be used to evaluate the dependability of complex systems.

Original language	English
Pages (from-to)	125-179
Number of pages	55
Journal	Lecture Notes in Computer Science
Volume	3098
DOIs	https://doi.org/10.1007/978-3-540-27755-2_4
Publication status	Published - 2004
Externally published	Yes

Access to Document

10.1007/978-3-540-27755-2_4

Cite this

@article{f2edb717e51e445ab3d9108f95050d8e,

title = "Petri nets and dependability",

abstract = "Dependability evaluation main objective is to assess the ability of a system to correctly function over time. There are many possible approaches to the evaluation of dependability: in these notes we arc mainly concerned with dependability evaluation based on probabilistic models. Starting from simple probabilistic models with very efficient solution methods we shall then come to the main topic of the paper: how Petri nets can be used to evaluate the dependability of complex systems.",

author = "Simona Bernardi and Andrea Bobbio and Susanna Donatelli",

year = "2004",

doi = "10.1007/978-3-540-27755-2\_4",

language = "English",

volume = "3098",

pages = "125--179",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Petri nets and dependability

AU - Bernardi, Simona

AU - Bobbio, Andrea

AU - Donatelli, Susanna

PY - 2004

Y1 - 2004

N2 - Dependability evaluation main objective is to assess the ability of a system to correctly function over time. There are many possible approaches to the evaluation of dependability: in these notes we arc mainly concerned with dependability evaluation based on probabilistic models. Starting from simple probabilistic models with very efficient solution methods we shall then come to the main topic of the paper: how Petri nets can be used to evaluate the dependability of complex systems.

AB - Dependability evaluation main objective is to assess the ability of a system to correctly function over time. There are many possible approaches to the evaluation of dependability: in these notes we arc mainly concerned with dependability evaluation based on probabilistic models. Starting from simple probabilistic models with very efficient solution methods we shall then come to the main topic of the paper: how Petri nets can be used to evaluate the dependability of complex systems.

UR - https://www.scopus.com/pages/publications/34548111579

U2 - 10.1007/978-3-540-27755-2_4

DO - 10.1007/978-3-540-27755-2_4

M3 - Article

AN - SCOPUS:34548111579

SN - 0302-9743

VL - 3098

SP - 125

EP - 179

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

Petri nets and dependability

Abstract

Access to Document

Other files and links

Fingerprint

Cite this