Slides from selected talks

1. Transforming Coloured Petri Nets Models into Code for TinyOS - A Case Study of the RPL Protocol. Talk at ICATPN, Torun, Poland, 2016.
2. Towards a Multi Meta-modelling Approach for Developing Distributed Healthcare Application. Talk at Norwegian Informatics Conference, Aalesund, 2016.
3. Model-driven Enginering of Concurrent Systems with Coloured Petri Nets. Talk at ABB Robotics, Bryne, September 2015.
4. Towards a Multi Meta-modelling Approach for Developing Distributed Healthcare Applications. Talk at Norwegian Informatics Conference, Aalesund, 2015.
5. Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. Talk at PNSE, Brussels, 2015.
6. PhD Course Lectures on Coloured Petri Nets at the Petri Nets Conference, sinde 2014:
   • Coloured Petri Nets: Modelling and Validation of Concurrent Systems
   • The CPN Modelling Language
   • Hierarhical Coloured Petri Nets
   • State Space Analysis and Verification
   • Example of Industrial Use: The Edge Router Discovery Protocol
7. Implementing the WebSocket Protocol based on Formal Modelling and Automated Code Generation. Talk at DAIS'14 conference in Berlin, June, 2014.
8. A Pragmatic Approach for Transforming Coloured Petri Net Models into Code - A Case Study of the IETF WebSocket Protocol. Talk at PAMT'14 symposium in Bergen, May, 2014.
9. A Pragmatic Approach to Automated Code Generation from CPN Simulation Models. Invited talk at SimuTools'14 conference in Lisbon, March, 2014.