Stochastic Petri net analysis of a replicated file system

DOI10.1109/32.16600zbMath0679.68117OpenAlexW2108611213MaRDI QIDQ4729370

Joanne Bechta Dugan, Gianfranco Ciardo

Publication date: 1989

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/39d7329ff34f184e77aa2c9b588c16e6a59fc311

zbMATH Keywords

voting algorithmsPetri netstochastic Petri netavailability analysisdistributed file systemreplicated file system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (2)

Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis ⋮ Formal Dependability Modeling and Analysis: A Survey

This page was built for publication: Stochastic Petri net analysis of a replicated file system