Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.

Faustin Ahishakiye, Jos Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz

Browse the full VECoS paper archive.