Wells, Lisa. 2002. “Performance Analysis Using Coloured Petri Nets”. DAIMI Report Series 31 (563). https://doi.org/10.7146/dpb.v31i563.7120.