Get started
Author

Jens Bæk Jørgensen

Observed names: J. B. Jørgensen, J.B. Jorgensen, Jens B. Jørgensen, Jens Baek Jorgensen, Jørgensen, Jens Bæk
Institution: VUC Aarhus
Observed institutions: Aarhus University, VUC Aarhus
ORCID: 0000-0002-0182-1463
Observed ORCID: 0000-0002-0182-1463
OpenAlex ID: A5045641309
Application of Coloured Petri Nets in System Development
2004 · Lars Michael Kristensen, Jens Bæk Jørgensen, et al. · Lecture notes in computer science · 87
Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net
2007 · Joao M. Fernandes, Simon Tjell, et al. · 74
Design/CPN — A computer tool for Coloured Petri Nets
1997 · Søren Christensen, Jens Bæk Jørgensen, et al. · Lecture notes in computer science · 57
PDF
Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System
2005 · W. M. P. van der Aalst, J. B. Jørgensen, et al. · Lecture notes in computer science · 48
Executable use cases: requirements for a pervasive health care system
2004 · J.B. Jorgensen, C. Bossen · IEEE Software · 48
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system
2007 · Jens Bæk Jørgensen, Kristian Bisgaard Lassen, et al. · International Journal on Software Tools for Technology Transfer · 31
Requirements engineering for a pervasive health care system
2004 · J.B. Jorgensen, C. Bossen · Journal of Lightwave Technology · 27
Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries
1999 · J.B. Jorgensen, L.M. Kristensen · IEEE Transactions on Parallel and Distributed Systems · 24
Context-descriptive prototypes and their application to medicine administration
2004 · Claus Bossen, Jens Bæk Jørgensen · Designing Interactive Systems Conference · 22
Analysing bang & Olufsen's BeoLink® audio/video system using coloured Petri nets
1997 · Søren Christensen, Jens Bæk Jørgensen · Lecture notes in computer science · 19
Formal requirements modelling with executable use cases and coloured Petri nets
2009 · Jens B. Jørgensen, Simon Tjell, et al. · Innovations in Systems and Software Engineering · 18
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems
2009 · Ronny S. Mans, Wil M. P. van der Aalst, et al. · Lecture notes in computer science · 17
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
2007 · Joao M. Fernandes, Jens Baek Jorgensen, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 13
Modelling and analysis of distributed program execution in BETA using coloured Petri Nets
1996 · Jens Bæk Jørgensen, Kjeld Høyer Mortensen · Lecture notes in computer science · 13
Executable use cases as links between application domain requirements and machine specifications
2004 · J.B. Jorgensen · 12
Executable Design Models for a Pervasive Healthcare Middleware System
2002 · Jens Baek Jorgensen, Soren Christensen · Lecture notes in computer science · 12
Addressing problem frame concerns via coloured petri nets and graphical animation
2006 · Jens Bæk Jørgensen · 9
Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs with Symmetries
1997 · Jens Bæk Jørgensen, Lars Michael Kristensen · DAIMI Report Series · 9
PDF
Coloured Petri Nets in Development of a Pervasive Health Care System
2003 · Jens Bæk Jørgensen · Lecture notes in computer science · 8
Design/CPN - A Computer Tool for Coloured Petri Nets
1997 · Søren Christensen, Jens Bæk Jørgensen, et al. · DAIMI Report Series · 8
PDF
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
2007 · Joao M. Fernandes, Jens Baek Jorgensen, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 7
Design as interaction with computer based materials
1997 · Søren Christensen, Jens Bæk Jørgensen, et al. · Designing Interactive Systems Conference · 7
Variability Handling for Mobile Banking Apps on iOS and Android
2016 · Jens Baek Jorgensen, Bjarne Knudsen, et al. · Working IEEE/IFIP Conference on Software Architecture (WICSA) · 6
Requirements problems in the development of a new user interface for healthcare equipment
2015 · Maria Holmegaard, Jens Baek Jorgensen, et al. · IEEE International Requirements Engineering Conference (RE) · 5
Executable Use Cases: a Supplement to Model-Driven Development?
2007 · Jens Baek Jorgensen · Model-based Methodologies for Pervasive and Embedded Software · 5
Works count: 51
Citation count: 631
H-index: 13
I10-index: 16
Year
Topic
Type