Realtion-Algebraic Analysis of Petri Nets with RELVIEW. - Rudolf Berghammer; Burghard von Karger; Christiane Ulke (TACAS, 1996)