Mortensen, K.H.

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

• Mortensen, Kjeld H.:
  Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator. 2001.

• Mortensen, Kjeld H.:
  Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. 2000.

• Mailund, Thomas; Mortensen, Kjeld H.:
  Separation of Style and Content with XML in an Interchange Format for High-level 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.

• Mortensen, K.H.:
  Automatic Code Generation from Coloured Petri Nets for an Access Control System. 1999.

• Christensen, Søren; Mortensen, Kjeld H.:
  Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course. 1997.

• Christensen, S.; Mortensen, K.H.:
  Parametrisation of Coloured Petri Nets. 1997.

• Mortensen, K.H.:
  Coloured Petri Nets - a Pragmatic Formal Method for Designing and Analysing Distributed Systems. 1997.

• Cheng, A.; Christensen, S.; Mortensen, K.H.:
  Model Checking Coloured Petri Nets Exploiting Strongly Connected Components. 1996.

• Jørgensen, Jense Bæk; Mortensen, Kjeld Høyer:
  Modelling and Analysis of Distributed program Execution in BETA Using Coloured Petri Nets. 1996.

• Mortensen, K.H.; Pinci, V.:
  Modelling the Work Flow of a Nuclear Waste Management Program. 1994.

Back to the Petri Nets Bibliography