Towards reachability trees for high-level Petri nets. - Peter Huber; Arne M. Jensen; Leif O. Jepsen; Kurt Jensen (European Workshop on Applications and Theory in Petri Nets, 1984)

Reachability Trees for High-level Petri Nets. - Peter Huber; Arne M. Jensen; Leif O. Jepsen; Kurt Jensen (Theor. Comput. Sci., 1986)