Santana Robles, F. Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. ESCS 2015, 2.