Stochastic Petri net analysis of a replicated file system
From MaRDI portal
Recommendations
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)