A Simulation Model of a Double Ring Protocol Based on Timed Well-Formed Coloured Petri Nets.

Giovanni Chiola Rossano Gaeta Matteo Sereno A Simulation Model of a Double Ring Protocol Based on Timed Well-Formed Coloured Petri Nets. 259-264 1993 conf/mascots/1993 MASCOTS db/conf/mascots/mascots1993.html#ChiolaGS93