 | 2009 |
|---|
| 13 |       | Kristian Bisgaard Lassen,
Wil M. P. van der Aalst:
Complexity metrics for Workflow nets.
Information & Software Technology 51(3): 610-626 (2009) |
| 12 | | R. S. Mans,
Wil M. P. van der Aalst,
Nick C. Russell,
Piet J. M. Bakker,
Arnold J. Moleman,
Kristian Bisgaard Lassen,
Jens Bæk Jørgensen:
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems.
T. Petri Nets and Other Models of Concurrency 3: 25-49 (2009) |
| 2008 |
|---|
| 11 | | Kristian Bisgaard Lassen,
Simon Tjell:
Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets.
ISSE 4(3): 233-240 (2008) |
| 10 | | Wil M. P. van der Aalst,
Kristian Bisgaard Lassen:
Translating unstructured workflow processes to readable BPEL: Theory and implementation.
Information & Software Technology 50(3): 131-159 (2008) |
| 9 | | 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) |
| 8 | | Kristian Bisgaard Lassen,
Boudewijn F. van Dongen:
Translating Message Sequence Charts to other Process Languages Using Process Mining.
T. Petri Nets and Other Models of Concurrency 1: 71-85 (2008) |
| 2007 |
|---|
| 7 |  | Lars Bækgaard,
Jens Bæk Jørgensen,
Kristian Bisgaard Lassen:
On Industrial Use of Requirements Engineering Techniques.
EMISA 2007: 177-190 |
| 6 | | Ricardo Jorge Machado,
Kristian Bisgaard Lassen,
Sérgio Oliveira,
Marco Couto,
Patrícia Pinto:
Requirements Validation: Execution of UML Models with CPN Tools.
STTT 9(3-4): 353-369 (2007) |
| 2006 |
|---|
| 5 | | Jan Mendling,
Kristian Bisgaard Lassen,
Uwe Zdun:
Experiences in Enhancing Existing BPM Tools with BPEL Import and Export.
Business Process Management 2006: 348-357 |
| 4 | | Jens Bæk Jørgensen,
Kristian Bisgaard Lassen:
Requirements Engineering for the Adviser Portal Bank System.
ECBS 2006: 259-268 |
| 3 | | Michael Westergaard,
Kristian Bisgaard Lassen:
The BRITNeY Suite Animation Tool.
ICATPN 2006: 431-440 |
| 2 | | Kristian Bisgaard Lassen,
Wil M. P. van der Aalst:
WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL.
OTM Conferences (1) 2006: 127-144 |
| 2005 |
|---|
| 1 | | 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 |
