"Reachability Trees for High-level Petri Nets."

Peter Huber et al. (1986)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics