Jens Bæk Jørgensen

	2009
23		Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes: Formal requirements modelling with executable use cases and coloured Petri nets. ISSE 5(1): 13-25 (2009)
22		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
21		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		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		Jens Bæk Jørgensen, Kristian Bisgaard Lassen: Requirements Engineering for the Adviser Portal Bank System. ECBS 2006: 259-268
17		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		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		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		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		Jens Bæk Jørgensen: Coloured Petri Nets in Development of a Pervasive Health Care System. ICATPN 2003: 256-275
9		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		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		Jens Bæk Jørgensen, Claus Bossen: Requirements Engineering for a Pervasive Health Care System. RE 2003: 55-64
	2002
6		Jens Bæk Jørgensen, Søren Christensen: Executable Design Models for a Pervasive Healthcare Middleware System. UML 2002: 140-149
	1999
5		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		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

Coauthor Index

1	Wil M. P. van der Aalst	[16] [21] [22]
2	Lars Bækgaard	[19]
3	Piet J. M. Bakker	[22]
4	João Paulo Barros	[14]
5	Claus Bossen	[7] [11] [13]
6	Søren Christensen	[2] [3] [4] [6] [9] [12] [17]
7	João M. Fernandes	[20] [23]
8	Kurt Jensen	[8]
9	Lars Michael Kristensen	[2] [5] [8]
10	Kristian Bisgaard Lassen	[16] [18] [19] [21] [22]
11	Kim Halskov Madsen	[3]
12	R. S. Mans (Ronny Mans)	[22]
13	Arnold J. Moleman	[22]
14	Kjeld Høyer Mortensen	[1]
15	Nick Russell (Nick C. Russell)	[22]
16	Simon Tjell	[20] [23]
17	Antti-Pekka Tuovinen	[12] [17]
18	Jianli Xu	[12] [17]

Colors in the list of coauthors