Wells, Lisa. “Performance Analysis Using Coloured Petri Nets”. DAIMI Report Series, bd. 31, nr. 563, august 2002, doi:10.7146/dpb.v31i563.7120.