Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler. Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. T. Petri Nets and Other Models of Concurrency, 11:1-27, 2016. [doi]
Abstract is missing.