| 2008 |
|---|
| 21 | EE | Jens Bæk Jørgensen,
Kristian Bisgaard Lassen,
Wil M. P. van der Aalst:
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.
STTT 10(1): 15-28 (2008) |
| 2007 |
|---|
| 20 | EE | João M. Fernandes,
Jens Bæk Jørgensen,
Simon Tjell:
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller.
APSEC 2007: 294-301 |
| 19 | | Lars Bækgaard,
Jens Bæk Jørgensen,
Kristian Bisgaard Lassen:
On Industrial Use of Requirements Engineering Techniques.
EMISA 2007: 177-190 |
| 2006 |
|---|
| 18 | EE | Jens Bæk Jørgensen,
Kristian Bisgaard Lassen:
Requirements Engineering for the Adviser Portal Bank System.
ECBS 2006: 259-268 |
| 17 | EE | Jens Bæk Jørgensen,
Søren Christensen,
Antti-Pekka Tuovinen,
Jianli Xu:
Tool Support for Estimating the Memory Usage of Mobile Phone Software.
STTT 8(6): 531-545 (2006) |
| 2005 |
|---|
| 16 | EE | Wil M. P. van der Aalst,
Jens Bæk Jørgensen,
Kristian Bisgaard Lassen:
Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System.
OTM Conferences (1) 2005: 22-39 |
| 15 | | Jens Bæk Jørgensen:
Towards Arguing the Cost-effectiveness of Coloured Petri Nets.
Software Engineering Research and Practice 2005: 246-252 |
| 14 | | João Paulo Barros,
Jens Bæk Jørgensen:
A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design.
Nord. J. Comput. 12(3): 229-250 (2005) |
| 2004 |
|---|
| 13 | EE | Claus Bossen,
Jens Bæk Jørgensen:
Context-descriptive prototypes and their application to medicine administration.
Conference on Designing Interactive Systems 2004: 297-306 |
| 12 | | Søren Christensen,
Jens Bæk Jørgensen,
Antti-Pekka Tuovinen,
Jianli Xu:
Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets.
ISoLA (Preliminary proceedings) 2004: 304-310 |
| 11 | EE | Jens Bæk Jørgensen,
Claus Bossen:
Executable Use Cases: Requirements for a Pervasive Health Care System.
IEEE Software 21(2): 34-41 (2004) |
| 2003 |
|---|
| 10 | EE | Jens Bæk Jørgensen:
Coloured Petri Nets in Development of a Pervasive Health Care System.
ICATPN 2003: 256-275 |
| 9 | EE | Søren Christensen,
Jens Bæk Jørgensen:
Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.
Lectures on Concurrency and Petri Nets 2003: 402-412 |
| 8 | EE | Lars Michael Kristensen,
Jens Bæk Jørgensen,
Kurt Jensen:
Application of Coloured Petri Nets in System Development.
Lectures on Concurrency and Petri Nets 2003: 626-685 |
| 7 | EE | Jens Bæk Jørgensen,
Claus Bossen:
Requirements Engineering for a Pervasive Health Care System.
RE 2003: 55-64 |
| 2002 |
|---|
| 6 | EE | Jens Bæk Jørgensen,
Søren Christensen:
Executable Design Models for a Pervasive Healthcare Middleware System.
UML 2002: 140-149 |
| 1999 |
|---|
| 5 | EE | Jens Bæk Jørgensen,
Lars Michael Kristensen:
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries.
IEEE Trans. Parallel Distrib. Syst. 10(7): 714-732 (1999) |
| 1997 |
|---|
| 4 | | Søren Christensen,
Jens Bæk Jørgensen:
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets.
ICATPN 1997: 387-406 |
| 3 | EE | Søren Christensen,
Jens Bæk Jørgensen,
Kim Halskov Madsen:
Design As Interaction with Computer Based Materials.
Symposium on Designing Interactive Systems 1997: 65-71 |
| 2 | | Søren Christensen,
Jens Bæk Jørgensen,
Lars Michael Kristensen:
Design/CPN - A Computer Tool for Coloured Petri Nets.
TACAS 1997: 209-223 |
| 1996 |
|---|
| 1 | | Jens Bæk Jørgensen,
Kjeld Høyer Mortensen:
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets.
Application and Theory of Petri Nets 1996: 249-268 |
