Petri Net Based Verification of Distributed Algorithms - Kindler, Ekkart (Verfasser); Reisig, Wolfgang (Verfasser); Völzer, Hagen (Verfasser); Walter, Rolf (Verfasser); Humboldt-Universität zu Berlin (Herausgebendes Organ) (Informatik-Berichte, 1996)