Huber, P., A. M. Jensen, L. O. Jepsen, and K. Jensen. “Towards Reachability Trees for High-Level Petri Nets”. DAIMI Report Series, vol. 13, no. 174, May 1985, doi:10.7146/dpb.v13i174.7449.