Huber, P. (1985) “Towards Reachability Trees for High-level Petri Nets”, DAIMI Report Series, 13(174). doi: 10.7146/dpb.v13i174.7449.