Huber, Peter, et al. “Towards Reachability Trees for High-Level Petri Nets”. DAIMI Report Series, vol. 13, no. 174, May 1985, doi:10.7146/dpb.v13i174.7449.