Coverage Analysis of Net Inscriptions in Coloured Petri Net Models | Publicación