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

Risultato della ricerca: Contributo su rivista › Articolo in rivista › 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.

Lingua originale	Inglese
pagine (da-a)	125-179
Numero di pagine	55
Rivista	Lecture Notes in Computer Science
Volume	3098
DOI	https://doi.org/10.1007/978-3-540-27755-2_4
Stato di pubblicazione	Pubblicato - 2004
Pubblicato esternamente	Sì

Accesso al documento

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

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@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 - http://www.scopus.com/inward/record.url?scp=34548111579&partnerID=8YFLogxK

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

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo