Elgaard, Louise. “The Symmetry Method for Coloured Petri Nets”. DAIMI Report Series 31, no. 564 (August 1, 2002). Accessed April 16, 2024. https://tidsskrift.dk/daimipb/article/view/7121.