List of Peer-reviewed Publications

Google scholar summary


Books, Collections, and Proceedings

  1. L. Cabac, L.M. Kristensen, and H. Rolke. Proceedings of the International Workshop on Petri Nets and Software Engineering 2016. Vol.-1591 of CEUR Workshop Proceedings.
  2. L.M. Kristensen, W. Penczek, and L. Petrucci. Application and Theory of Petri Nets, Special issue of Fundamenta Informaticae, Vol. 122, No-1-2, IOS Press, 2013.
  3. Wil M. van der Aalst, M. Ajmone Marsan, G. Franceschinis, J. Kleijn, L.M. Kristensen (Eds). Transactions on Petri Nets and Other Models of Concurrency VI. Special issue on Best Papers from Petri Nets 2012 with special section on Networks, Protocols, and Services. Subseries of Lecture Notes in Computer Science, LNCS Vol 7400, Springer, 2012.
  4. L.M. Kristensen and L. Petrucci (Eds.). Proc. of 32nd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Vol. 6709 of Springer Lectures Notes in Computer Science, 2011.
  5. K. Jensen and L.M. Kristensen. Coloured Petri Nets Modelling and Validation of Concurrent Systems. Springer, July 2009.
  6. L.M. Kristensen and J. Billington (eds). Proceedings of Workshop on Formal Methods Applied to Defence Systems. Volume 12 of Conferences in Research and Practice of Information Technology. Australian Computer Society, 2002. Satellite Workshop of the 23rd International Conference on Application and Theory of Petri Nets, Adelaide, 2002.

Journals Papers and Book Chapters (level 1 or level 2)

  1. F. Rabbi, Y. Lamo, I. Chieh Yu, and L.M. Kristensen. Diagrammatic Development of Domain Specific Modelling Languages with WebDPF. In International Journal of Information System Modelling and Design, 2016. To appear.
  2. K. Simonsen, L.M. Kristensen, and E. Kindler. Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. In Vol. 11 of of Springer Transactions on Petri Nets and other Models of Concurrency (ToPNoC), pp. 1-27 (2016).
  3. K. Jensen and L.M. Kristensen: Coloured Petri Nets: A Graphical Language for Formal Modelling and Validation of Concurrent Systems. In Vol. 58 of Communication of the ACM, pp. 61-70, 2015.
  4. A. Kumar, L.M. Kristensen, and K. Ovsthus. An Industrial Perspective on Wireless Sensor Networks - A Survey of Requirements, Protocols, and Challenges. In Vol. 16, No. 3 of IEEE Communications Survey and Tutorials, 2014.
  5. S. Evangelista and L.M. Kristensen. A Sweep-Line Method for Buchi Automata-based Model Checking. In Vol. 131 of Fundamenta Informaticae, pp. 27-53, 2014.
  6. S. Evangelista and L.M. Kristensen. Dynamic State Space Partitioning for External Memory State Space Exploration. Vol. 78, Issue 7 of Science of Computer Programming, pp. 778-795, Elsevier, 2013.
  7. L.M. Kristensen and K. Simonsen. Application of Coloured Petri Nets for Functional Validation of Protocol Designs. In Transactions on Petri Nets and Other Models of Concurrency, LNCS Vol. 7480, pp. 56-115, Springer, 2013.
  8. K. Jensen, L.M. Kristensen, and T. Mailund. The Sweep-line State Space Exploration Method. In Vol. 429 of Theoretical Computer Science, pp. 169-179, Elsevier, 2012.
  9. M. Westergaard and L.M Kristensen. A Graphical Approach to Component-based and Extensible Model Checking Platforms. In Transactions on Petri Nets and Other Models of Concurrency, LNCS Vol. 6900, pp. 265-291, Springer, 2012.
  10. S. Evangelista and L.M. Kristensen. Search-Order Independent State Caching. In LNCS Transactions on Petri Nets and Other Models of Concurrency. Vol 4, pp. 21-41, Springer, 2010
  11. P. Fleischer and L.M. Kristensen. Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In Vol. 94, No. 3-4 of Fundamenta Informaticae, pp. 361-386, IOS Press, 2009.
  12. S. Evangelista, M.Westergaard, and L.M. Kristensen The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. In of LNCS Transactions on Petri Nets and Other Models of Concurrency Vol. 3, pp. 189-215, Springer, 2009.
  13. L.M. Kristensen and K. Jensen. Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets. In Transactions on Petri Nets and Other Models of Concurrency, Vol. 1, pp. 19-34. Subseries of LNCS, Springer, 2008.
  14. L.M. Kristensen, P. Mechlenborg, L. Zhang, B. Mitchell, and G.E. Gallash. Model-based Development of a Course of Action Scheduling Tool. In International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag, 2007.
  15. K. Jensen, L.M. Kristensen, and L. Wells. Coloured PetriNets and CPN Tools for Modelling and Validation of Concurrent Systems. In International Journal on Software Tools for Technology Transfer (STTT), Vol 9, No. 3-4, pp. 213-254. Springer-Verlag, 2007.
  16. B. Mitchell, L.M. Kristensen, and L. Zhang. Formal Specification and State Space Analysis of an Operational Planning Process. In International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 3-4, pp. 255-267. Springer-Verlag, 2007.
  17. G. E. Gallasch, J. Billington, S. Vanit-Anunchai, and L.M. Kristensen. Checking Safety Properties On-the-fly with the Sweep-Line Method. In International Journal on Software Tools for Technology Transfer (STTT) Vol 9, No. 3-4, pp. 371-392. Springer-Verlag, 2007.
  18. L.M. Kristensen, K. Schmidt, and A. Valmari. Question-Guided Stubborn Set Methods for State Properties. In International Journal on Formal Methods in System Design. Volume 29, Issue 3, pp. 215-251. Kluwer Academic Publishers, November 2006.
  19. L.M. Kristensen and S. Christensen. Implementing Coloured Petri Nets using a Functional Programming Language. In Journal on Higher-Order and Symbolic Computation 17(3), pp. 207-243. Kluwer Academic Publishers, September 2004.
  20. L.M. Kristensen and K. Jensen. Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad-hoc Networks. In Proc. of Integration of Software Specification Techniques for Applications in Engineering. Vol. 3147 of Lecture Notes in Computer Science, pp. 248-269, Springer-Verlag, 2004.
  21. L.M. Kristensen, J.B. Jørgensen and K. Jensen. Application of Coloured Petri Nets in System Development. Lectures on Concurrency and Petri Nets – Advanced in Petri Nets. Proc. of 4th Advanced Course on Petri Nets. Vol. 3098 of Lecture Notes in Computer Science, pp. 626-685. Springer-Verlag, 2004.
  22. S. Christensen and L.M Kristensen. State Space Analysis of Hierarchical Coloured Petri Nets. In W. Aalst, J. Colom, F. Kordon, G. Kotsis, and D. Moldt (eds.): Petri Net Approaches for Modelling and Validation, Vol. 1 of LINCOM Studies in Computer Science, Chapter 1, pp. 1-16. Lincoln Europa, 2003.
  23. J.B. Jørgensen and L.M. Kristensen. Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. In W. Aalst, J. Colom, F. Kordon, G. Kotsis, and D. Moldt (eds): Petri Net Approaches for Modelling and Validation, Vol. 1 of LINCOM Studies in Computer Science, Chapter 2, pp. 17-34. Lincoln Europa, 2003.
  24. J. Billington, G. Gallasch, L.M. Kristensen, and T. Mailund. Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. In IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. Vol. 34, No. 1, pp. 23-38, January 2004. IEEE Computer Society, 2003
  25. J.B. Jørgensen and L.M. Kristensen. Computer Aided Verification of Lamport’s Fast Mutual Exclusion Algorithm Using Coloured Petri Nets and Occurrence Graphs with Symmetries. IEEE Transactions on Parallel and Distributed Systems, Vol. 10, No. 7, pp. 714-732, 1999.
  26. L.M. Kristensen, S. Christensen, and K. Jensen. The Practitioner’s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer (STTT), Vol. 2, No. 2, pp. 98-132, Spinger-Verlag, 1998.

Conference and Workshop Papers (level 1)

  1. L.M. Kristensen and V. Veiset. Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. In Proc. of Application and Theory of Petri Nets and Concurrency, Vol. 9698 of Springer Lecture Notes in Computer Science, pp. 135-154. 2016.
  2. M. Wold, L.M. Kristensen, T. Røkenes, P. Trefall, and R. Herheim. SIMSubsea: An Educational Game Combining Commercial Game-play with Contextual Mathematical Problem-solving. Accepted for European Conference on Game-Based Learning, 2016.
  3. A. Kumar, K. Ovsthus, and L.M. Kristensen. Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks. In of 7th International Conference on Ambient System, Network, and Technologies. VOl. 83 of Procedia Computer Science, pp. 329-336, Elsevier, 2016.
  4. R. Fazle, Y. Lamo, I. Yu ,and L.M. Kristensen. WebPDF: A Web-based Metamodelling and Model Transformation Environment. In Proc. of International Conference on Model-Driven Engineering and Software Development(MODELSWARD), SciTechPress, pp. 87-98, 2016.
  5. R. Fazle, Y. Lamo, I, Yu and L.M. Kristensen. A Diagrammatic Approach to Model Completion. In Proc. of AMT 2015. Vol. 1500 of CEUR Workshop Proceedings, pp. 56-65, 2015.
  6. R. Fazle, Y. Lamo, I. Yu, and L.M. Kristensen. Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. In Proc. of Norwegian Informatics Conference, 2015.
  7. L.M. Kristensen, K. I.F. Simonsen, E. Kindler. Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. In Proc. of PNSE'2015. Vol. 1372 of CEUR Workshop Proceedings, pp. 79-89, 2015.
  8. A. Kumar, A. Prinz, and L.M. Kristensen. Model-based Verification of teh DMAMAC Protocol for Real-time Process Control. In Proc. of VECoS'2015. Vol. 1431 of CEUR Workshop Proceedings, pp. 81-96, 2015.
  9. L.M. Kristensen: An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol. In Proc. of International Workshop on Petri Nets and Software Enginering. CEUR Workshop Proceedings 2014, Vol. 1160, pp. 13-14. Invited talk.
  10. L.M. Kristensen. Investigating Optimal Progress Measures for Verification of the WebSocket Protocol. In Proc. of Norwegian Informatics Conference, 2014.
  11. A. Kumar, K. Ovsthus, and L.M. Kristensen. Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems. In Procedia Computer Science, 2014, Vol. 34, pp. 505-510.
  12. K. Simonsen and L.M. Kristensen. Implementing the WebSocket Protocol based on Formal Modelling and Automated Code Generation. In Proc. of IFIP Conference on Distributed Systems and Interoperable Systems. Vol. 8460 of Springer Lecture Notes in Computer Science, pp. 104-118, 2014.
  13. A. Kumar, L.M. Kristensen, and K. Ovsthus: A Formal Executable Specification of the GinMAC Protocol for Wireless Sensor Actuator Networks. In Proc. of 8th Int. Symposium on Wireless Pervasive Computing, IEEE Computer Society, 2013. To Appear.
  14. V. Veiset and L.M. Kristensen. Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. In Proc. of Petri Nets and Software Engineering. Vol. 989 of CEUR Workshop Proceedings, pp. 259-260, 2013.
  15. K. Simonsen, E. Kindler, and L.M. Kristensen. Generating Protocol Software from CPN Models annotated with Pragmatics. In Proc. of SBMF'13. Vol. 8195 of Lecture Notes in Computer Science, pp. 227-242, 2013.
  16. S. Evangelista, L.M. Kristensen, and L. Petrucci. Multi-threaded Explicit State Space Exploration with State Reconstruction. In Proc. of ATVA 2013. Vol. 8172 of Lecture Notes in Computer Science, pp. 208-223, 2013.
  17. K. Simonsen and L.M. Kristensen. Towards a CPN-based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. In Proc. of 8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software. LNCS Vol. 7706, pp. 106-125, Springer, 2013.
  18. S. Evangelista and L. M. Kristensen. Hybrid On-the-Fly Model Checking with the Sweep-line Method. In Proc. of International Conference on Application and Theory of Petri Nets (ICATPN), volume 7347 of LNCS, pages 248-267. Springer, 2012.
  19. S. Evangelista and L. M. Kristensen. Combining the Sweep-Line Method with the use of an External-memory Priority Queue. In Proc. of 19th International SPIN Workshop on Model Checking of Software. volume 7385 of LNCS, pages 43-61. Springer, 2012.
  20. S. Taktak and L.M. Kristensen. Formal Modelling and Initial Validation of the Chelonia Distributed Storage System: In Proc. of International Conference on Grid and Pervasive Computing. Vol. 6646 of LNCS, pp 127-137, Springer, 2011.
  21. L.M. Kristensen: A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. In Proc. of ICATPN’10, Vol. 6128 of LNCS, pp. 39-42, Springer, 2010. Invited talk
  22. L.M. Kristensen and M. Westergaard. Automatic Code Generation from Process-Partitioned Coloured Petri Nets: A Proof of Concept. Accepted for Formal Methods for Industrial Critical Systems, 2010.
  23. M. Westergaard, L.M. Kristensen, and M. Kuusela. Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation. In Proc. of 21st European Modeling and Simulation Symposium. September 2009.
  24. S. Evangelista and L.M. Kristensen. Dynamic State Space Partitioning for External Memory Model Checking. In Proc. Formal Methods for Industrial Critical Systems, Vol. 5825 of Springer Lectures Notes in Computer Science, pp. 70-85. Springer-Verlag, 2009.
  25. M. Westergaard, S. Evangelista, and L.M. Kristensen. ASAP: An Extensible Platform for State Space Analysis. In Proc. of 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 5606 of Springer Lectures Notes in Computer Science, pp. 303-312. Springer-Verlag, 2009.
  26. M. Westergaard and L.M. Kristensen. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. In Proc. of 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 5606 of Springer Lectures Notes in Computer Science, pp. 313-322. Springer-Verlag, 2009.
  27. K.L. Espensen, M.K. Kjeldsen, and L. M. Kristensen. Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-hoc Networks. In Proc. of 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 5062 of Springer Lectures Notes in Computer Science, pp. 152-170. Springer-Verlag, 2008.
  28. P. Fleischer and L.M. Kristensen. Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In Proc. of 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 5062 of Springer Lectures Notes in Computer Science, pp. 171-190. Springer-Verlag, 2008.
  29. M.Westergaard, L.M. Kristensen, G. Brodal, and L. Arge. The ComBack Method - Extending Hash Compaction with Backtracking. In Proc. of 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 4546 of Lectures Notes in Computer Science, pp. 445-464. Springer-Verlag, 2007.
  30. J. Brøndsted and L.M. Kristensen. Specification and Performance Evaluation of Two Zone Dissemination Protocols for Vehicular Ad-hoc Networks. In Proc. of 39th Annual Simulation Symposium, pp. 68-79. IEEE Computer Society, 2006.
  31. L.M. Kristensen, M. Westergaard, and P.C. Nørgaard. Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks. In Proc. of Fifth International Conference on Integrated Formal Methods (IFM’05). Vol. 3771 of Lecture Notes in Computer Science, pp. 266-286. Springer-Verlag, 2005.
  32. C.A. Lakos and L.M. Kristensen. State Space Exploration of Object-Based Systems using Equivalence Reduction and the Sweep-line Method. In Proc. of Third International Symposium on Automated Technology for Verification and Analysis (ATVA’05). Vol. 3707 of Lecture Notes in Computer Science, pp. 187-201. Springer-Verlag, 2005.
  33. J. Brøndsted, K.M. Hansen, and L.M. Kristensen. An Infrastructure for a Traffic Warning System. In Proc. of IEEE International Conference on Pervasive Services (ICPS), pp. 136-145. IEEE Computer Society, 2005.
  34. L. Zhang, L.M. Kristensen, B. Mitchell, C. Janczura, G. Gallasch, and P. Mechlenborg. COAST – An Operational Planning Tool for Course of Action Development and Analysis. In Proc. of 9th International Command and Control Research and Technology Symposium (ICCRTS), 2004.
  35. L.M. Kristensen and L. Petrucci. An Approach to Distributed State Space Exploration for Coloured Petri Nets. In Proc. of 25th International Conference on Application and Theory of Petri Nets. Vol. 3099 of Lecture Notes in Computer Science, pp. 474-483, Springer-Verlag, 2004.
  36. L.M. Kristensen and T. Mailund. Efficient Path Finding with the Sweep-Line Method using External Storage. In Proc. of International Conference on Formal Engineering Methods (ICFEM’03). Vol. 2885 of Lecture Notes in Computer Science, pp. 319-337. Springer-Verlag, 2003.
  37. L. Petrucci, J. Billington, L.M. Kristensen, and Z.H. Qureshi. Developing a Formal Specificationfor the Mission Systems of a Maritime Surveillance Aircraft. In Proc. of Third International Conference on Application of Concurrency to System Design (ACSD’03), pp. 92-101. IEEE Computer Society, 2003.
  38. L.M. Kristensen and T. Mailund. A Compositional Sweep-Line State Space Exploration Method. In Proc. of IFIP TC WG6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems (FORTE’2002). Vol. 2529 of Lecture Notes in Computer Science, pp. 327-343. Springer-Verlag, 2002.
  39. L.M. Kristensen, J. Billington, L. Petrucci, Z.H. Qureshi, and R. Kiefer. Formal Specification and Analysis of Airborne Mission Systems (DASC’02). In Proc. of 21st AIAA/IEEE Digital Avionics Systems Conference, Vol. 1, pp. 4.D.4-1-4.D.4-13, 2002.
  40. C. Ouyang, L.M. Kristensen, and J. Billington. A Formal and Executable Specification of the Internet Open Trading Protocol. In Proc. of the 3rd International Conference on Electronic Commerce and Web Technologies. Vol. 2455 of Lecture Notes in Computer Science, pp.377-387, Springer-Verlag, 2002.
  41. L.M. Kristensen and T. Mailund. A Generalised Sweep-Line Method for Safety Properties. In Proc. of 11th International Symposium of Formal Methods Europe (FME’2002). Vol. 2391 of Lecture Notes in Computer Science, pp. 549-567. Springer-Verlag, 2002.
  42. S. Gordon, L.M. Kristensen, and J. Billington. Verification of a Revised WAPWireless TransactionProtocol. In Proc. of the 23rd International Conference on Application and Theory of Petri Nets (ICATPN’2002). Vol. 2360 of Lecture Notes in Computer Science, pp. 182-202. Springer-Verlag, 2002.
  43. C. Ouyang, L.M. Kristensen, and J. Billington. A Formal Service Specification for the Internet Open Trading Protocol. In Proc. of the 23rd International Conference on Application and Theory of Petri Nets (ICATPN’2002). Vol. 2360 of Lecture Notes in Computer Science, pp. 352-373. Springer-Verlag, 2002.
  44. Z. Qureshi, J. Billington, and L.M. Kristensen. Modelling Military Airborne Mission Systemsfor Functional Analysis. In Proc. of 20th IEEE/AIAA Digital Avionics Systems Conference, 12 pp., CD-ROM. 2001. This paper won the best paper award in the System Engineering and Open Systems track.
  45. L. Wells, S. Christensen, L.M. Kristensen, and K.H. Mortensen. Simulation Based Performance Analysis of Web Servers. In Proc. of the 9th International Workshop on Petri Nets and Performance Models (PNPM’2001), pp. 59-68. IEEE Computer Society, 2001.
  46. L. Zhang, L.M. Kristensen, L. Falzon, M. Davies, B. Mitchell, and J. Billington. Modelbased Operational Planning using Coloured Petri Nets. In Proc. of 6th International Command and Control Research and Technology Symposium (CCRTS), 2001.
  47. L.M. Kristensen. Exploiting Place Invariants in Condensed State Space Construction for Coloured Petri Nets. In Proc. of International Conference on Parallel Processing Techniques and Applications (PDPTA’2001), Vol II, pp. 661-667. CSREA Press, 2001.
  48. L. Lorentsen and L.M. Kristensen. Exploiting Stabilizers and Parallelism in State Space Generationwith the Symmetry Method. In Proc. of International Conference on Application of Concurrency in System Design (ICACSD’2001), pp. 211-220. IEEE Computer Society 2001.
  49. S. Christensen, L.M. Kristensen, and T. Mailund. Condensed State Spaces for Timed PetriNets. In Proc. of the 22nd International Conference on Application and Theory of Petri Nets (ICATPN’2001). Vol. 2075 of Lecture Notes in Computer Science, pp. 101-120. Springer-Verlag, 2001.
  50. S. Gordon, L.M. Kristensen, and J. Billington. An Approach to Generalising the State Space ofa Distributed Missile Simulator. In Proc. of 11th Annual International Symposium of the International Council on System Engineering (INCOSE’2001), 2001.
  51. C. Ouyang, L.M. Kristensen, and J. Billington. Towards Modelling and Analysis of the InternetOpen Trading Protocol Transactions Using Coloured Petri Nets. In Proc. of 11th Annual International Symposium of the International Council on System Engineering (INCOSE’2001), 2001.
  52. S. Christensen, L.M. Kristensen, and T. Mailund. A Sweep-Line Method for State Space Exploration.In Proc. 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’2001). Vol. 2031 of Lecture Notes in Computer Science, pp. 450-464. Springer Verlag, 2001.
  53. L.M. Kristensen and A. Valmari. Improved Question-Guided Stubborn Set Methods for StateProperties. In Proc. of 20th International Conference on Application and Theory of Petri Nets (ICATPN’2000). Vol. 1825 of Lecture Notes in Computer Science, pp. 282-302. Springer-Verlag, 2000.
  54. L. Lorentsen and L.M. Kristensen. Modelling and Analysis of a Danfoss Flowmeter System using Coloured Petri Nets. In Proc. of 20th International Conference on Application and Theory of Petri Nets (ICATPN’2000). Vol. 1825 of Lecture Notes in Computer Science, pp. 346-366. Springer-Verlag, 2000.
  55. L.M. Kristensen and A. Valmari. Finding Stubborn Sets of Coloured Petri NetsWithout Unfolding. In Proc. of 19th International Conference on Application and Theory of Petri Nets (ICATPN’98). Vol. 1420 of Lecture Notes in Computer Science, pp. 104-123. Springer-Verlag, 1998.
  56. S. Christensen, J.B. Jørgensen, and L.M. Kristensen. Design/CPN – A Computer Tool for Coloured Petri Nets. In Proc. of 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’97). Vol. 1217 of Lecture Notes in Computer Science, pp. 209-223. Springer-Verlag, 1997.

Workshop Papers

  1. F. Rabbi, Y. Lamo, L.M. Kristensen and I. Yu. A Generalisation of Termination Conditions for Partial Model Completion. In Proc. of Nordic Workshop on Programming Theory, 2015.
  2. A. Kumar, K. Ovsthus, and L.M. Kristensen. Simulation-based Evaluation of DMAMAC - A Dual-Mode Adaptive MAC Protocol for Process Control. In Proc. of SimuTools'2015. EAI.
  3. R. Fazle, Y. Lamo, I. Yu, and L.M. Kristensen. Towards a Diagrammatic Rewriting System for Model Completion. In Proc. of Nordic Workshop on Programming Theory, 2014.
  4. K. I.F. Simonsen and L.M. Kristensen. A Pragmatic Approach for Transforming Coloured Petri Net Models into Code: A Case Study of the IETF WebSocket Protocol. In Proc. of 1st International Joint Symposium on Program and Model Transformations, pp. 2-4, 2013.
  5. A. Kumar, L.M. Kristensen, K. Ovsthus. A Formal Executable Specification of the GinMAC Protocol for Wireless Sensor Actuator Networks. In Proc. of International Symposium on Wireless and Pervasive Computing, 2013.
  6. L.M. Kristensen, Y. Lamo, W. MacCaull, F. Rabbi, and A. Rutle: On Exploiting Progress for Memory-efficient Verification of Diagrammatic Workflows. In Proc. of Nordic Workshop on Programming Theory, 2013.
  7. K. I. Fagerland Simonsen, L.M. Kristensen and E. Kindler. Code Generation for Protocols from CPN models Annotated with Pragmatics. In Proc. of Nordic Workhsop on Programming Theory, 2012.
  8. S. Evangelista and L.M. Kristensen. Search-Order Independent State Caching. In Proc. of 10th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 219-240, 2009.
  9. K.L. Espensen, M.K. Kjeldsen, L.M. Kristensen, and M. Westergaard. Towards Automatic Code Generation from Process-Partitioned Coloured Petri Nets. In Proc. of 10th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 41-60, 2009.
  10. M. Westergaard, L.M. Kristensen, and M. Kuusela. A Prototype fo Cosimulating SystsmC and Coloured Petri Nets Models. In Proc. of 10th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 1-21, 2009.
  11. S. Evangeli, M.Westergaard, and L.M. Kristensen. The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. In Proc. of 9th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 63-82, 2008.
  12. M. Westergaard and L.M. Kristensen. JoSEL: A Visual Language for Specification and Execution of Verification Jobs in Model Checking. In Proc. of 9th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 7-26, 2008.
  13. P. Fleischer and L.M. Kristensen. Modelling the Configuration/Management API Middleware Using Coloured Petri Nets. In Proc. of 1st International Workshop on Petri Nets Tools and Applications, 2008.
  14. L.M. Kristensen and M. Westergaard. The ASAP Platform: Next Generation Tool Support for State Space Analysis. In Proc. of 8th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 1-6, 2007.
  15. K.L. Espensen, M.K. Kjeldsen, and L. M. Kristensen. Towards Modelling and Verification of the DYMO Routing Protocol for Mobile Ad-hoc Networks. In Proc. of 8th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 243-263, 2007.
  16. P. Fleischer and L.M. Kristensen. Towards Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In Proc. of 8th Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 9-28, 2007.
  17. L.M. Kristensen and K. Jensen. Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets. In Proc. of 2nd Workshop on Teaching Concurency (TeaConc’07), pp. 67-78, 2007.
  18. L.M. Kristensen, P. Mechlenborg, L. Zhang, B. Mitchell, and G.E. Gallasch. Model-based Development of a Course of Action Scheduling Tool. In Proc. of 7th Workshop and Tutorial on Practical Use of Colured Petri Nets and CPN Tools, pp. 1-26. DAIMI PB-579. 2006.
  19. G.E. Gallasch, S. Vanit-Anunchai, J. Billington and L.M. Kristensen. Checking Language Inclusion On-The-Fly with the Sweep-Line Method. In Proc. of 6th Workshop and Tutorial on Practical Use of Colured Petri Nets and CPN Tools, pp. 1-20. DAIMI PB-576. 2005.
  20. G.E. Gallasch, C. Ouyang, J. Billington, and L.M. Kristensen. Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol. In Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools, pp. 19-38, DAIMIPB 570. 2004
  21. B. Mitchell, L.M. Kristensen, and L. Zhang. Formal Specification and State Space Analysis of an Operational Planning Process. In Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools, pp. 1-18, DAIMI-PB 570. 2004
  22. L.M. Kristensen. Using Coloured Petri Nets in the Development of Protocols for Ad-Hoc Networking. In Proc. of 3rd International Workshop on Integration and Specification Techniques for Applications in Engineering, pp. 12-13.
  23. G. Gallasch, L.M. Kristensen, and T. Mailund. Sweep-Line State Space Exploration of Coloured Petri Nets. In Proc. of 4th Workshop and Tutorial on Practice Use of Coloured Petri Nets and CPN Tools (CPN’02), pp. 101-120. DAIMI PB-560. 2002.
  24. M. Elliot, J. Billington, and L.M. Kristensen. Using Design/CPN to Design a Visualisation Extension to Design/CPN. In Proc. of 4th Workshop and Tutorial on Practice Use of Coloured Petri Nets and CPN Tools (CPN’02), pp. 21-38. DAIMI PB-560. 2002.
  25. L. Petrucci, L.M. Kristensen, J. Billington, and Z. Qureshi. Towards Formal Specification and Analysis of Avionics Mission System. In Proc. of Workshop on Formal Methods Applied to Defence Systems, pp. 95-104. Vol. 12 of Conferences in Research and Practice in Information Technology. Australian Computer Society, 2002.
  26. L.M. Kristensen, B. Mitchell, L. Zhang, and J. Billington. Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets. In Proc. of Workshop on Formal Methods Applied to Defence Systems, pp. 105-114. Vol. 12 of Conferences in Research and Practice in Information Technology. Australian Computer Society, 2002.
  27. L. Zhang, L.M. Kristensen, C. Janczura, G. Gallasch, and J. Billington. A Coloured Petri Net based Tool for Course of Action Development and Analysis. In Proc. of Workshop on Formal Methods Applied to Defence Systems, pp. 125-134. Vol. 12 of Conferences in Research and Practice in Information Technology. Australian Computer Society, 2002.
  28. S. Christensen, K. Jensen, T. Mailund and L.M. Kristensen. State Space Methods for Timed Coloured Petri Nets. In Proc. of 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pp. 14-15. 2001.
  29. G. Gallasch and L.M. Kristensen. Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN. In Proc. of the 3rdWorkshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN’01), pp. 79-93. DAIMI PB-554. 2001.
  30. C. Ouyang, L.M. Kristensen, and J. Billington. An Improved Architectural Specification of the Internet Open Trading Protocol Transactions. In Proc. of the 3rd Workshop on Practical Use of Coloured Petri Nets and the CPN Tools (CPN’01), pp. 119-137. DAIMI PB-554. 2001.
  31. L.M. Kristensen and J. C. Figueiredo. Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of the TCP Protocol. In Proc. of the 2nd Workshop on Practical Use of Coloured Petri Nets and Design/CPN, pp. 21-40. DAIMI PB-541. 2000.
  32. J.B. Jørgensen and L.M. Kristensen. Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. In Proc. of Workshop on Petri Nets in System Engineering (PNSE) – Modelling, Verification, and Validation. Publication No. 205, University of Hamburg, Fachberich Informatik, pp. 20-31, 1997.
  33. S. Christensen and L.M. Kristensen. State Space Analysis of Hierarchical Coloured Petri Nets. In Proc. of Workshop on Petri Nets in System Engineering (PNSE) – Modelling, Verification, and Validation. Publication No. 205, University of Hamburg, Fachberich Informatik, pp. 32-43, 1997.