P. Huber, A. M. Jensen, L. O. Jepsen, and K. Jensen, “Towards Reachability Trees for High-level Petri Nets”, DPB, vol. 13, no. 174, May 1985.