@Techreport{desel1997pcodaapna, address = "76128 Karlsruhe, Germany", author = "J{\"o}rg Desel and Ekkart Kindler", institution = "University of Karlsruhe, Institute AIFB", number = "348", title = "Proving Correctness of Distributed Algorithms - A Petri Net Approach", year = "1997", }