Coloured Petri Nets Refinements. - Christine Choppy; Laure Petrucci; Alfred Sanogo (PNSE+ModPE, 2013)