Fiorella de Cindio, Carla Simone. Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way. In Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990. ACM, 1990. [doi]
Abstract is missing.