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

Lvia M. R. Sampaio, Jorge C. A. de Figueiredo, Francisco Vilar Brasileiro

Browse the full SMC paper archive.