Huber, P., Jensen, A. M., Jepsen, L. O., & Jensen, K. (1985). Towards Reachability Trees for High-level Petri Nets. DAIMI Report Series, 13(174). https://doi.org/10.7146/dpb.v13i174.7449