Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. - Jens Bæk Jørgensen; Kjeld Høyer Mortensen (Application and Theory of Petri Nets, 1996)

Design As Interaction with Computer Based Materials. - Søren Christensen; Jens Bæk Jørgensen; Kim Halskov Madsen (Symposium on Designing Interactive Systems, 1997)

Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. - Søren Christensen; Jens Bæk Jørgensen (ICATPN, 1997)

Design/CPN - A Computer Tool for Coloured Petri Nets. - Søren Christensen; Jens Bæk Jørgensen; Lars Michael Kristensen (TACAS, 1997)

Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. - Jens Bæk Jørgensen; Lars Michael Kristensen (IEEE Trans. Parallel Distributed Syst., 1999)

Executable Design Models for a Pervasive Healthcare Middleware System. - Jens Bæk Jørgensen; Søren Christensen (UML, 2002)

Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. - Søren Christensen; Jens Bæk Jørgensen (Lectures on Concurrency and Petri Nets, 2003)

Application of Coloured Petri Nets in System Development. - Lars Michael Kristensen; Jens Bæk Jørgensen; Kurt Jensen (Lectures on Concurrency and Petri Nets, 2003)

Coloured Petri Nets in Development of a Pervasive Health Care System. - Jens Bæk Jørgensen (ICATPN, 2003)

Requirements Engineering for a Pervasive Health Care System. - Jens Bæk Jørgensen; Claus Bossen (RE, 2003)

Context-descriptive prototypes and their application to medicine administration. - Claus Bossen; Jens Bæk Jørgensen (Conference on Designing Interactive Systems, 2004)

Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. - Søren Christensen; Jens Bæk Jørgensen; Antti-Pekka Tuovinen; Jianli Xu (ISoLA (Preliminary proceedings), 2004)

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

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)

Towards Arguing the Cost-effectiveness of Coloured Petri Nets. - Jens Bæk Jørgensen (Software Engineering Research and Practice, 2005)

A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. - João Paulo Barros; Jens Bæk Jørgensen (Nord. J. Comput., 2005)

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

Addressing problem frame concerns via coloured petri nets and graphical animation. - Jens Bæk Jørgensen (IWAAPF@ICSE, 2006)

Tool Support for Estimating the Memory Usage of Mobile Phone Software. - Jens Bæk Jørgensen; Søren Christensen; Antti-Pekka Tuovinen; Jianli Xu (Int. J. Softw. Tools Technol. Transf., 2006)

Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. - João M. Fernandes 001; Jens Bæk Jørgensen; Simon Tjell (APSEC, 2007)

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

Executable Use Cases: A Supplement to Model-Driven Development?. - Jens Bæk Jørgensen (MOMPES, 2007)

Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns. - Jens Bæk Jørgensen (Expert Syst. J. Knowl. 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)

Formal requirements modelling with executable use cases and coloured Petri nets. - Jens Bæk Jørgensen; Simon Tjell; João M. Fernandes 001 (Innov. Syst. Softw. Eng., 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)

Mjølner's Software Process Improvement: A Discussion and Strengthening Using the SPI Manifesto. - Mikkel Yde Kjær; Jens Bæk Jørgensen (EuroSPI, 2010)

Interplay between requirements, software architecture, and hardware constraints in the development of a home control user interface. - Michael Sørensen Loft; Søren Snehøj Nielsen; Kim Nørskov; Jens Bæk Jørgensen (TwinPeaks@RE, 2012)

Redefinition of the Requirements Engineer Role in Mjølner's Software Development Process. - Anders Bennett-Therkildsen; Jens Bæk Jørgensen; Kim Nørskov; Niels Mark Rubin (REFSQ, 2013)

Handling design-level requirements across distributed teams: Developing a new feature for 12 Danish mobile banking apps. - Lars Bruun; Mikkel Bovbjerg Hansen; Jorgen Bondergaard Iversen; Jens Baek Jorgensen; Bjarne Knudsen (RE, 2014)

Requirements problems in the development of a new user interface for healthcare equipment. - Maria Holmegaard; Jens Baek Jorgensen; Michael Sørensen Loft; Martin Stig Stissing (RE, 2015)

Variability Handling for Mobile Banking Apps on iOS and Android. - Jens Bæk Jørgensen; Bjarne Knudsen; Lennert Sloth; Johan Rugager Vase; Henrik Bærbak Christensen (WICSA, 2016)

Requirements Engineering in Implementing IT Support for Scandinavian Healthcare Work Processes Using Outsourced Development in Egypt. - Jens Bæk Jørgensen; Kim Henning Jönsson; Sofie Aaskov Nielsen; Christoffer Øland Skovgaard; Johan Rugager Vase; Mohamed Ghonemi; Rasha Adel Hassan (ICSE (Workshops), 2020)

Effective communication about software in a traditional industrial company: an experience report on development of a new measurement instrument. - Jens Bæk Jørgensen; Henrik Lauf Christensen; Søren Thestrup Hansen; Bent Bisballe Nyeng (IWSiB@ICSE, 2022)

"Communication Is a Scarce Resource!": A Summary of CHASE'22 Conference Discussions. - Christoph Matthies; Mary Sánchez-Gordón; Jens Bæk Jørgensen; Lutz Prechelt (CoRR, 2022)

A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report. - Lotte Mygind; Jens Bæk Jørgensen; Lutz Prechelt (REFSQ, 2023)

Problems with Communication About Requirements in a Complex Program in a Large Organization. - Agnete Røberg Horup; Morten Jokumsen; Jens Bæk Jørgensen; Maja Due Kadenic; Nina Wiborg Mølgaard (RE, 2024)

Multi-Source Design: A Method for Physical-Digital Product Development Through Agility, Modularity, and Decoupling. - Søren Christian Madsen; Bent Bisballe Nyeng; Jens Bæk Jørgensen (ICSA Companion, 2025)