TY  - JOUR
AU  - Ahishakiye, Faustin
AU  - Requeno Jarabo, José Ignacio
AU  - Requeno Jarabo, José Ignacio
AU  - Kristensen, Lars Michael
AU  - Stolz, Volker
PY  - 2023
DO  - https://doi.org/10.1007/s11334-023-00528-z
UR  - https://hdl.handle.net/20.500.14352/104867
T2  - Innovations in Systems and Software Engineering
AB  - High-level Petri nets such as coloured Petri nets (CPNs) are characterized by the combination of Petri nets and a highlevel programming language. In CPNs and CPN Tools, the inscriptions (e.g. arc expressions and guards) are specified using Standard...
LA  - eng
KW  - Coverage analysis
KW  - MC/DC
KW  - CPN model
KW  - Testing
TI  - Coverage visualization and analysis of net inscriptions in coloured Petri net models
TY  - journal article
ER  -