Huber, P. et al. 1985. Towards Reachability Trees for High-level Petri Nets. DAIMI Report Series. 13, 174 (May 1985). DOI:https://doi.org/10.7146/dpb.v13i174.7449.