Applying coloured Petri nets to analyze fail silent nodes in distributed systems

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]

Authors

Lívia M. R. Sampaio

This author has not been identified. Look up 'Lívia M. R. Sampaio' in Google

Jorge C. A. de Figueiredo

This author has not been identified. Look up 'Jorge C. A. de Figueiredo' in Google

Francisco Vilar Brasileiro

This author has not been identified. Look up 'Francisco Vilar Brasileiro' in Google