Coverage visualization and analysis of net inscriptions in coloured Petri net models | Publicación