Vegard Veiset, Lars Michael Kristensen. Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. In Daniel Moldt, editor, Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013. Volume 989 of CEUR Workshop Proceedings, pages 259-260, CEUR-WS.org, 2013. [doi]
Abstract is missing.