Browsing HVL Open by Author "Kindler, Ekkart"
Now showing items 1-1 of 1
-
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
Simonsen, Kent Inge Fagerland; Kristensen, Lars Michael; Kindler, Ekkart (Peer reviewed; Journal article, 2015)PetriCode is a tool that supports automated generation of protocol software from a restricted class of Coloured Petri Nets (CPNs) called Pragmatics Annotated Coloured Petri Nets (PA-CPNs). PetriCode and PA-CPNs have been ...