TY - SER AU - Dugan, J.B. AU - Ciardo, Gianfranco TI - Stochastic Petri Net Analysis of a Replicated File System KW - Availability Analysis KW - Distributed File System KW - Petri Net Models ER -