Joanne Bechta Dugan, Gianfranco Ciardo. Stochastic Petri Net Analysis of a Replicated File System. IEEE Trans. Software Eng., 15(4):394-401, 1989. [doi]
@article{DuganC89, title = {Stochastic Petri Net Analysis of a Replicated File System}, author = {Joanne Bechta Dugan and Gianfranco Ciardo}, year = {1989}, url = {http://www.computer.org/tse/ts1989/e0394abs.htm}, tags = {analysis}, researchr = {https://researchr.org/publication/DuganC89}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {15}, number = {4}, pages = {394-401}, }