Conference paper
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
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). Petri-Code 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.
Language: | English |
---|---|
Year: | 2015 |
Pages: | 79-98 |
Proceedings: | International Workshop on Petri Nets and Software Engineering 2015 |
Series: | Ceur Workshop Proceedings |
Journal subtitle: | Including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (adecs 2015) |
ISSN: | 16130073 |
Types: | Conference paper |
ORCIDs: | Kindler, Ekkart |