Wells, Lisa. “Performance Analysis Using Coloured Petri Nets”. DAIMI Report Series 31, no. 563 (August 1, 2002). Accessed April 26, 2024. https://tidsskrift.dk/daimipb/article/view/7120.