Huber, Peter, Arne M. Jensen, Leif Obel Jepsen, and Kurt Jensen. “Towards Reachability Trees for High-Level Petri Nets”. DAIMI Report Series 13, no. 174 (May 1, 1985). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7449.