Huber, P.; Jensen, A. M.; Jepsen, L. O.; Jensen, K. Towards Reachability Trees for High-Level Petri Nets. DPB 1985, 13.