Volver a los detalles del artículo Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use