Lívia M. R. Sampaio, Jorge C. A. de Figueiredo, Francisco Vilar Brasileiro. Applying coloured Petri nets to analyze fail silent nodes in distributed systems. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998. pages 268-273, IEEE, 1998. [doi]
Abstract is missing.