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]

Possibly Related Publications

The following publications are possibly variants of this publication: