Wells, L. Performance Analysis Using Coloured Petri Nets. DPB 2002, 31.