F. Santana Robles, «Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use», ESCS, vol. 2, n.º 4, jul. 2015.