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