Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol

Lars Michael Kristensen, Vegard Veiset. Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. In Fabrice Kordon, Daniel Moldt, editors, Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, ToruĊ„, Poland, June 19-24, 2016. Proceedings. Volume 9698 of Lecture Notes in Computer Science, pages 135-154, Springer, 2016. [doi]

Abstract

Abstract is missing.