Realtion-Algebraic Analysis of Petri Nets with RELVIEW.

Rudolf Berghammer, Burghard von Karger, Christiane Ulke

Browse the full TACAS paper archive.