Kristensen, L.M.

• Gallasch, Guy Edward; Billington, Jonathan; Vanit-Anunchai, Somsak; Kristensen, Lars Michael:
  Checking safety properties on-the-fly with the sweep-line method. 2007.

• Jensen, Kurt; Kristensen, Lars Michael; Wells, Lisa:
  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. 2007.

• Mitchell, Brice; Kristensen, Lars Michael; Zhang, Lin:
  Formal specification and state space analysis of an operational planning process. 2007.

• Kristensen, L. M.; Schmidt, K.; Valmari, A.:
  Question-guided stubborn set methods for state properties. 2006.

• Lakos, Charles A.; Kristensen, Lars M.:
  State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method. 2005.

• Billington, J.; Gallasch, G.E.; Kristensen, L.M.; Mailund, T.:
  Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. 2004.

• Gallasch, Guy E.; Ouyang, Chun; Billington, Jonathan; Kristensen, Lars M.:
  Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol. 2004.

• Mitchell, Brice; Kristensen, Lars M.; Zhang, Lin:
  Formal Specification and State Space Analysis of an Operational Planning Process. 2004.

• Kristensen, Lars Michael; Jensen, Kurt:
  Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. 2004.

• Kristensen, Lars M.; Petrucci, Laure:
  An Approach to Distributed State Space Exploration for Coloured Petri Nets. 2004.

• Kristensen, Lars Michael; Jørgensen, Jens Bæk; Jensen, Kurt:
  Application of Coloured Petri Nets in System Development. 2004.

• Christensen, S.; Kristensen, L.M.:
  State Space Analysis of Hierarchical Coloured Petri Nets. 2003.

• Jørgensen, J. B.; Kristensen, L. M.:
  Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. 2003.

• Kristensen, Lars Michael; Mailund, Thomas:
  Efficient Path Finding with the Sweep-Line Method Using External Storage. 2003.

• Petrucci, Laure; Billington, Jonathan; Kristensen, Lars M.; Qureshi, Zahid H.:
  Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. 2003.

• Ouyang, C.; Kristensen, L.M.; Billington, J.:
  A Formal and Executable Specification of the Internet Open Trading Protocol. 2002.

• Elliot, Mathew; Billington, Jonathan; Kristensen, Lars Michael:
  Using Design/CPN to Design a Visualisation Extension for Design/CPN. 2002.

• Elliot, M.; Billington, J.; Kristensen, L.M.:
  Using Design/CPN to Design a Visualisation Extension to Design/CPN. 2002.

• Gallasch, Guy Edward; Kristensen, Lars Michael; Mailund, Thomas:
  Sweep-Line State Space Exploration for Coloured Petri Nets. 2002.

• Ouyang, Chun; Kristensen, Lars Michael; Billington, Jonathan:
  A Formal and Executable Specification of the Internet Open Trading Protocol. 2002.

• Gordon, Steven; Kristensen, Lars Michael; Billington, Jonathan:
  Verification of a Revised WAP Wireless Transaction Protocol. 2002.

• Kristensen, L. M.; Mitchell, B.; Zhang, L.; Billington, J.:
  Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets. 2002.

• Ouyang, Chun; Kristensen, Lars Michael; Billington, Jonathan:
  A Formal Service Specification for the Internet Open Trading Protocol. 2002.

• Petrucci, L.; Kristensen, L. M.; Billington, J.; Qureshi, Z. H.:
  Towards Formal Specification and Analysis of Avionics Mission Systems. 2002.

• Zhang, L.; Kristensen, L. M.; Janczura, C.; Gallasch, G.; Billington, J.:
  A Coloured Petri Net based Tool for Course of Action Development and Analysis. 2002.

• Wells, L.; Christensen, S.; Kristensen, L.M.; Mortensen, K.H.:
  Simulation Based Performance Analysis of Web Servers. 2001.

• Gallasch, Guy; Kristensen, Lars M.:
  Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN. 2001.

• Ouyang, Chun; Kristensen, Lars Michael; Billington, Jonathan:
  An Improved Architectural Specification of the Internet Open Trading Protocol. 2001.

• Ouyang, Chun; Kristensen, Lars Michael; Billington, Jonathan:
  Towards Modelling and Analysis of Internet Open Trading Protocol Transactions using Coloured Petri Nets. 2001.

• Christensen, Søren; Kristensen, Lars Michael; Mailund, Thomas:
  Condensed State Spaces for Timed Petri Nets. 2001.

• Zhang, Lin; Mitchell, Brice; Falzon, Lucia; Davies, Mike; Kristensen, Lars M.; Billington, Jonathan:
  Model-based Operational Planning Using Coloured Petri Nets. 2001.

• Kristensen, Lars Michael; Valmari, Antti:
  Improved Question-Guided Stubborn Set Methods for State Properties. 2000.

• Lorentsen, Louise; Kristensen, Lars Michael:
  Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. 2000.

• Christensen, S.; Kristensen, L.M.; Mortensen, K.H.; Thomasen, J.S.:
  Capacity Planning of Web Servers using Timed Hierarchical Coloured Petri Nets. 1999.

• Jorgensen, J.B.; Kristensen, L.M.:
  Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries. 1999.

• Kristensen, Lars M.; Christensen, Soren; Jensen, Kurt:
  The practitioner's guide to coloured Petri nets. 1998.

• Kristensen, Lars Michael; Valmari, Antti:
  Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. 1998.

• Christensen, Søren; Kristensen, Lars Michael; Mailund, Thomas:
  A Sweep-Line Method for State Space Exploration. .

• Christensen, Søren; Kristensen, Lars Michael:
  State Space Analysis of Hierarchical Coloured Petri Nets. 1997.

• Jørgensen, Jens Bæk; Kristensen, Lars Michael:
  Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. 1997.

Back to the Petri Nets Bibliography