Kent Inge Fagerland Simonsen, Lars Michael Kristensen, Ekkart Kindler. Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. In Daniel Moldt, Heiko Rölke, Harald Störrle, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015. Volume 1372 of CEUR Workshop Proceedings, pages 79-98, CEUR-WS.org, 2015. [doi]
Abstract is missing.