Petri Net Based Verification of Distributed Algorithms: An Example - Ekkart Kindler; Wolfgang Reisig; Hagen Völzer; Rolf Walter; The Pennsylvania State University CiteSeerX Archives (http://www.informatik.hu-berlin.de/~kindler/PostScript/HUIB63.ps, 1996)