State Space Methods for Coloured Petri Nets | Publicación