Jorgensen, J.B.

• Jorgensen, Jens Bæk; Lassen, Kristian Bisgaard:
  Requirements Engineering for the Adviser Portal Bank System. 2006.

• Jörgensen, Jens Bæk; Christensen, Sören; Tuovinen, Antti-Pekka; Xu, Jianli:
  Tool Support for Estimating the Memory Usage of Mobile Phone Software. 2006.

• van der Aalst, W.M.P.; Jørgensen, J.B.; Lassen, K.B.:
  Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. 2005.

• Jørgensen, Jens Bæk:
  CPN Models as Enhancement to a Traditional Software Specification for an Elevator Controller. 2004.

• Christensen, Søren; Jørgensen, Jens Bæk:
  Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. 2004.

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

• Jørgensen, Jens Bæk; Bossen, Claus:
  Executable Use Cases: Requirements for a Pervasive Health Care System. 2004.

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

• Jørgensen, Jens Bæk:
  Coloured Petri Nets in Development of a Pervasive Health Care System. 2003.

• Jørgensen, Jens Bæk; Christensen, Søren:
  Executable Design Models for a Pervasive Healthcare Middleware System. 2002.

• Jørgensen, Jens Bæk:
  Coloured Petri Nets in UML-Based Software Development - Designing Middleware for Pervasive Healthcare. 2002.

• Jørgensen, Jens Bæk; Bossen, Claus:
  Executable Use Cases for Pervasive Healthcare. 2002.

• 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.

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

• Christensen, Søren; Jørgensen, Jens B.:
  Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets. 1997.

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

Back to the Petri Nets Bibliography