Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition - Walter, Rolf (Edition Versal, 1995)