Paper Info
Title
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification.
Abstract
Pragmatics Annotated Coloured Petri Nets (PA-CPNs) are a restricted class of Coloured Petri Nets (CPNs) developed to support automated generation of protocol software. The practical application of PA-CPNs and the supporting PetriCode software tool have been discussed and evaluated in earlier papers already. The contribution of this paper is to give a formal definition of PA-CPNs, motivate the definitions, and demonstrate how the structure of PA-CPNs can be exploited for more efficient verification.
Year
DOI
Venue
2015
10.1007/978-3-662-53401-4_1
Lecture Notes in Computer Science
DocType
Volume
ISSN
Conference
9930
0302-9743
Citations 
PageRank 
References 
0
0.34
17
Authors
3
Name
Order
Citations
PageRank
Kent Inge Fagerland Simonsen1334.41
Lars Michael Kristensen2108185.12
Ekkart Kindler31219105.52