Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification

dc.contributor.author	Simonsen, Kent Inge Fagerland
dc.contributor.author	Kristensen, Lars Michael
dc.contributor.author	Kindler, Ekkart
dc.date.accessioned	2018-02-01T15:18:07Z
dc.date.available	2018-02-01T15:18:07Z
dc.date.issued	2015
dc.identifier.citation	Simonsen KIF, Kristensen LM, Kindler E. Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. CEUR Workshop Proceedings. 2015;1372:79-98
dc.identifier.issn	1613-0073
dc.identifier.uri	http://hdl.handle.net/11250/2482129
dc.description	-
dc.description.abstract	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 designed with five main requirements in mind, which include the same model being used for verification and code generation. The PetriCode approach has been discussed and evaluated in earlier papers already. In this paper, we give a formal definition of PA-CPNs and demonstrate how the specific structure of PA-CPNs can be exploited for verification purposes.
dc.language.iso	eng
dc.relation.ispartof	CEUR Workshop Proceedings
dc.relation.uri	http://ceur-ws.org/Vol-1372/paper5.pdf
dc.title	Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
dc.type	Peer reviewed
dc.type	Journal article
dc.date.updated	2017-10-09T13:07:46Z
dc.identifier.cristin	1324699