P. Estraillier Claude Girault Petri Nets Specification of Virtual Ring Protocols. 74-85 1982 conf/apn/1982 European Workshop on Applications and Theory of Petri Nets db/conf/apn/apn1982.html#EstraillierG82