Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. - Wil M. P. van der Aalst; Jens Bæk Jørgensen; Kristian Bisgaard Lassen (OTM Conferences (1), 2005)

The BRITNeY Suite Animation Tool. - Michael Westergaard; Kristian Bisgaard Lassen (ICATPN, 2006)

Experiences in Enhancing Existing BPM Tools with BPEL Import and Export. - Jan Mendling; Kristian Bisgaard Lassen; Uwe Zdun (Business Process Management, 2006)

Requirements Engineering for the Adviser Portal Bank System. - Jens Bæk Jørgensen; Kristian Bisgaard Lassen (ECBS, 2006)

WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. - Kristian Bisgaard Lassen; Wil M. P. van der Aalst (OTM Conferences (1), 2006)

On Industrial Use of Requirements Engineering Techniques. - Lars Bækgaard; Jens Bæk Jørgensen; Kristian Bisgaard Lassen (EMISA, 2007)

Requirements Validation: Execution of UML Models with CPN Tools. - Ricardo Jorge Machado 001; Kristian Bisgaard Lassen; Sérgio Oliveira; Marco Couto 002; Patrícia Pinto (Int. J. Softw. Tools Technol. Transf., 2007)

On the transformation of control flow between block-oriented and graph-oriented process modelling languages. - Jan Mendling; Kristian Bisgaard Lassen; Uwe Zdun (Int. J. Bus. Process. Integr. Manag., 2008)

Translating unstructured workflow processes to readable BPEL: Theory and implementation. - Wil M. P. van der Aalst; Kristian Bisgaard Lassen (Inf. Softw. Technol., 2008)

Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets. - Kristian Bisgaard Lassen; Simon Tjell (Innov. Syst. Softw. Eng., 2008)

From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. - Jens Bæk Jørgensen; Kristian Bisgaard Lassen; Wil M. P. van der Aalst (Int. J. Softw. Tools Technol. Transf., 2008)

Translating Message Sequence Charts to other Process Languages Using Process Mining. - Kristian Bisgaard Lassen; Boudewijn F. van Dongen (Trans. Petri Nets Other Model. Concurr., 2008)

Complexity metrics for Workflow nets. - Kristian Bisgaard Lassen; Wil M. P. van der Aalst (Inf. Softw. Technol., 2009)

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. - 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 (Trans. Petri Nets Other Model. Concurr., 2009)