Stochastic Petri net analysis of a replicated file system

DOI10.1109/32.16600MaRDI QIDQ4729370zbMATH OpenOpenAlexFDO

Authors 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

Petri netstochastic Petri netavailability analysisdistributed file systemvoting algorithmsreplicated 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)

Recommendations

• Dependability modeling and analysis of distributed programs
• Response time behavior of distributed voting algorithms for managing replicated data
• scientific article; zbMATH DE number 5929623
• scientific article; zbMATH DE number 4052746
• An Algorithm For Concurrency Control In Replicated File Systems

Cited in

(5)

• Formal dependability modeling and analysis: a survey
• Response time behavior of distributed voting algorithms for managing replicated data
• Stochastic Petri net models of \(\text{Ca}^{2+}\) signaling complexes and their analysis
• Models and Software Model Checking of a Distributed File Replication System
• Automatic modeling of file system workloads using two-level arrival processes

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4729370)