Stochastic Petri net analysis of a replicated file system
From MaRDI portal
Publication:4729370
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
voting algorithmsPetri netstochastic Petri netavailability analysisdistributed file systemreplicated file system
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