Jörg Desel

	2012
88		Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser: Modeling and Mining of Learnflows. T. Petri Nets and Other Models of Concurrency 5: 22-50 (2012)
	2011
87		Robin Bergenthum, Jörg Desel, Sebastian Mauser: Workflow Nets with Roles. EMISA 2011: 65-78
86		Kais Klai, Samir Tata, Jörg Desel: Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. Data Knowl. Eng. 70(5): 467-482 (2011)
	2010
85		Jörg Desel, Alex Yakovlev: Introduction. ACSD/Petri Nets Workshops 2010: 149
84		Jörg Desel, Leo von Klenze: AMSEL - ein Lernsystem zum Algorithmenentwurf. DeLFI 2010: 33-44
83		Jörg Desel, Agathe Merceron: Vicinity Respecting Homomorphisms for Abstracting System Requirements. T. Petri Nets and Other Models of Concurrency 4: 1-20 (2010)
	2009
82		Kais Klai, Samir Tata, Jörg Desel: Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM 2009: 294-309
81		Gabriel Juhás, Robert Lorenz, Jörg Desel: Unifying Petri Net Semantics with Token Flows. Petri Nets 2009: 2-21
80		Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz: Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Inform. 95(1): 187-217 (2009)
79		Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz: Construction of Process Models from Example Runs. T. Petri Nets and Other Models of Concurrency 2: 243-259 (2009)
78		Robin Bergenthum, Jörg Desel, Sebastian Mauser: Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. T. Petri Nets and Other Models of Concurrency 3: 216-243 (2009)
77		Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser: Executability of scenarios in Petri nets. Theor. Comput. Sci. 410(12-13): 1190-1216 (2009)
	2008
76		Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Synthesis of Petri nets from infinite partial languages. ACSD 2008: 170-179
75		Jörg Desel, Christian Neumair: Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. DDI 2008: 151-152
74		Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser: Learnflow Mining. DeLFI 2008: 269-280
73		Jörg Desel, Dorothea Iglezakis: Hilfreiche Hilfe? - Adaptives Learning-on-Demand. DeLFI 2008: 293-304
72		Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets 2008: 388-398
71		Jörg Desel: From Human Knowledge to Process Models. UNISCON 2008: 84-95
70		Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli: Schedulability Analysis of Petri Nets Based on Structural Properties. Fundam. Inform. 86(3): 325-341 (2008)
69		Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Synthesis of Petri Nets from Finite Partial Languages. Fundam. Inform. 88(4): 437-468 (2008)
	2007
68		Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser: Synthesis of Petri Nets from Finite Partial Languages. ACSD 2007: 157-166
67		Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Process Mining Based on Regions of Languages. BPM 2007: 375-383
66		Jörg Desel: Controlling Petri Net Process Models. WS-FM 2007: 17-30
	2006
65		Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel: Schedulability Analysis of Petri Nets Based on Structural Properties. ACSD 2006: 69-78
64		Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz: Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN 2006: 381-390
63		Jörg Desel: Petri Net Model Synthesis from Scenarios. MBEES 2006: 19-26
	2005
62		Jörg Desel, Ulrich Frank: Enterprise Modelling and Information Systems Architectures, Proceedings of the Workshop in Klagenfurt, October 24-25, 2005 GI 2005
61		Gabriel Juhás, Robert Lorenz, Jörg Desel: Can I Execute My Scenario in Your Net?. ICATPN 2005: 289-308
60		Jörg Desel: Process Modeling Using Petri Nets. Process-Aware Information Systems 2005
	2004
59		Jörg Desel, Barbara Pernici, Mathias Weske: Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004. Proceedings Springer 2004
58		Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned] Springer 2004
57		Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report Springer 2004
56		Jörg Desel, Gabriel Juhás, Christian Neumair: Finite Unfoldings of Unbounded Petri Nets. ICATPN 2004: 157-176
55		Jörg Desel: Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. SoftSpez Final Report 2004: 199-205
54		Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair: A Guide to Modelling and Control with Modules of Signal Nets. SoftSpez Final Report 2004: 270-300
53		Jörg Desel, Martin Wessner: Bericht aus der Fachgruppe E-Learning. i-com 3(2): 68-69 (2004)
	2003
52		Arndt Bode, Jörg Desel, Sabine Rathmeyer, Martin Wessner: DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei München GI 2003
51		Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair: Modelling and Validation with VipTool. Business Process Management 2003: 380-389
50		Jörg Becker, Jörg Desel, Ulrich Frank, Stefan Kirn, Helmut Krcmar, Peter Loos, Markus Nüttgens, Michael Rohloff, Reinhard Schütte: Referenzmodellierung 2003 (RefMod2003). GI Jahrestagung (1) 2003: 232
49		Jörg Desel, Vesna Milijic, Christian Neumair: Model Validation in Controller Design. Lectures on Concurrency and Petri Nets 2003: 467-495
48		Jörg Desel, Thomas Erwin: Quantitative Engineering of Business Processes with VIP business. Petri Net Technology for Communication-Based Systems 2003: 219-242
47		Jörg Desel, Gabriel Juhás, Robert Lorenz: Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. Electr. Notes Theor. Comput. Sci. 82(7): 46-62 (2003)
46		Dorothea Tippe, Jörg Desel: Potentiale Virtueller Lerngruppen aus Sicht der Psychologie. KI 17(1): 40- (2003)
	2002
45		Jörg Desel, Mathias Weske: Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam GI 2002
44		Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler: On the semantics of EPCs: A vicious circle. EPK 2002: 71-79
43		Jörg Desel: Model Validation - A Theoretical Issue? ICATPN 2002: 23-43
42		Jörg Desel: Tutorium: Validierung und Verifikation von Prozessmodellen. Promise 2002: 78-80
	2001
41		Jörg Desel: Das ist Informatik Springer 2001
40		Jörg Desel: Wer will virtuell lehren? Wer will virtuell lernen? GI Jahrestagung (2) 2001: 1093-1098
39		Jörg Desel, Gabriel Juhás: ''What Is a Petri Net?''. Unifying Petri Nets 2001: 1-25
38		Jörg Desel, Gabriel Juhás, Robert Lorenz: Petri Nets over Partial Algebra. Unifying Petri Nets 2001: 126-172
37		Jörg Desel, Gabriel Juhás, Robert Lorenz: Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. Electr. Notes Theor. Comput. Sci. 44(4): 163-187 (2001)
	2000
36		Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis: Business Process Management, Models, Techniques, and Empirical Studies Springer 2000
35		Jörg Desel: Validation of Process Models by Construction of Process Nets. Business Process Management 2000: 110-128
34		Jörg Desel, Thomas Erwin: Modeling, Simulation and Analysis of Business Processes. Business Process Management 2000: 129-141
33		Jörg Desel, Gabriel Juhás, Robert Lorenz: Process Semantics of Petri Nets over Partial Algebra. ICATPN 2000: 146-165
32		Jörg Desel: Teaching system modeling, simulation and validation. Winter Simulation Conference 2000: 1669-1675
	1999
31		Jörg Desel, Andreas Oberweis: 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11. - 12., 1999 CEUR-WS.org 1999
30		Jörg Desel, Klaus Pohl, Andy Schürr: Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe Teubner 1999
29		Ferucio Laurentiu Tiplea, Jörg Desel: Petri Net Process Decomposition with Application to Validation. AWPN 1999
28		Jörg Desel, Thomas Erwin, Wolffried Stucky: Simulation und Leistungsbewertung von Geschäftsprozessen. EMISA 1999: 127-146
	1998
27		Jörg Desel, Manuel Silva: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings Springer 1998
26		Jörg Desel, Ekkart Kindler: Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. ACSD 1998: 177-186
25		Jörg Desel: Petrinetze als Grundlage der Ablaufmodellierung. Modellierung 1998
	1997
24		Jörg Desel: How Distributed Algorithms Play the Token Game. Foundations of Computer Science: Potential - Theory - Cognition 1997: 297-306
23		Jörg Desel, Horst Reichel: Workshop: Grundlagen der Parallelität. GI Jahrestagung 1997: 626
	1996
22		Jörg Desel, Wolfgang Reisig: Place or Transition Petri Nets. Petri Nets 1996: 122-173
21		Jörg Desel: Basic Linear Algebraic Techniques for Place or Transition Nets. Petri Nets 1996: 257-308
20		Jörg Desel, Wolfgang Reisig: The Synthesis Problem of Petri Nets. Acta Inf. 33(4): 297-315 (1996)
19		Jörg Desel, K.-P. Neuendorf, M.-D. Radola: Proving Nonreachability by Modulo-Invariants. Theor. Comput. Sci. 153(1&2): 49-64 (1996)
18		Jörg Desel, Andreas Oberweis: Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven. Wirtschaftsinformatik 38(4): 359-367 (1996)
	1995
17		Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter: A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. Inf. Process. Lett. 54(6): 327-328 (1995)
	1994
16		Jörg Desel: Proving Non-Reachabililty by Modulo-Place-Invariants. FSTTCS 1994: 366-377
	1993
15		Jörg Desel, Javier Esparza: Shortest Paths in Reachability Graphs. Application and Theory of Petri Nets 1993: 224-241
14		Jörg Desel, Wolfgang Reisig: The Synthesis Problem of Petri Nets. STACS 1993: 120-129
13		Jörg Desel: Regular Marked Petri Nets. WG 1993: 264-275
12		Jörg Desel, Javier Esparza: Reachability in Cyclic Extended Free-Choice Systems. Theor. Comput. Sci. 114(1): 93-118 (1993)
	1992
11		Jörg Desel: Struktur und Analyse von Free-Choice-Petrinetzen. Deutscher Universitätsverlag 1992: I-XII, 1-198
10		Jörg Desel: A Proof of the Rank Theorem for Extended Free Choice Nets. Application and Theory of Petri Nets 1992: 134-153
9		Eike Best, Ludmila Cherkasova, Jörg Desel: Compositional Generation of Home States in Free Choice Nets. Formal Asp. Comput. 4(6): 572-581 (1992)
8		Eike Best, Jörg Desel, Javier Esparza: Traps Characterize Home States in Free Choice Systems. Theor. Comput. Sci. 101(2): 161-176 (1992)
	1991
7		Jörg Desel, Javier Esparza: Reachability in Reversible Free Choice Systems. STACS 1991: 384-397
6		Eike Best, Ludmila Cherkasova, Jörg Desel: Compositional Generation of Home States in Free Choice Systems. STACS 1991: 398-409
	1990
5		Jörg Desel: On abstraction of nets. Applications and Theory of Petri Nets 1990: 78-92
4		Jörg Desel: Reduction and Design of Well-behaved Concurrent Systems. CONCUR 1990: 166-181
3		Eike Best, Jörg Desel: Partial Order Behaviour and Structure of Petri Nets. Formal Asp. Comput. 2(2): 123-138 (1990)
	1989
2		Jörg Desel, Agathe Merceron: Vicinity respecting net morphisms. Applications and Theory of Petri Nets 1989: 165-185
	1988
1		Jörg Desel, Agathe Merceron: P/T-systems as abstractions of C/E-systems. European Workshop on Applications and Theory in Petri Nets 1988: 105-127

Coauthor Index

1	Wil M. P. van der Aalst	[36] [44]
2	Jörg Becker	[50]
3	Robin Bergenthum	[64] [67] [68] [69] [72] [74] [76] [77] [78] [79] [80] [87] [88]
4	Eike Best	[3] [6] [8] [9]
5	Arndt Bode	[52]
6	Ludmila Cherkasova	[6] [9]
7	Werner Damm	[57]
8	Hartmut Ehrig	[57]
9	Thomas Erwin	[28] [34] [48]
10	Javier Esparza	[7] [8] [12] [15]
11	Ulrich Frank	[50] [62]
12	Martin Große-Rhode	[57]
13	Hans-Michael Hanisch	[54]
14	Andreas Harrer	[74] [88]
15	Dorothea Iglezakis	[73]
16	Gabriel Juhás	[33] [37] [38] [39] [47] [51] [54] [56] [61] [64] [77] [81]
17	Ekkart Kindler	[17] [26] [44]
18	Stefan Kirn	[50]
19	Kais Klai	[82] [86]
20	Leo von Klenze	[84]
21	Alex Kondratyev	[65] [70]
22	Helmut Krcmar	[50]
23	Cong Liu	[65] [70]
24	Peter Loos	[50]
25	Robert Lorenz	[33] [37] [38] [47] [51] [54] [61] [64] [67] [68] [69] [72] [76] [77] [79] [80] [81]
26	Sebastian Mauser	[67] [68] [69] [72] [74] [76] [77] [78] [79] [80] [87] [88]
27	Agathe Merceron	[1] [2] [83]
28	Vesna Milijic	[49]
29	K.-P. Neuendorf	[19]
30	Christian Neumair	[49] [51] [54] [56] [75]
31	Markus Nüttgens	[50]
32	Andreas Oberweis	[18] [31] [36]
33	Barbara Pernici	[59]
34	Klaus Pohl	[30]
35	M.-D. Radola	[19]
36	Sabine Rathmeyer	[52]
37	Horst Reichel	[23]
38	Wolfgang Reif	[57]
39	Wolfgang Reisig	[14] [20] [22] [58]
40	Michael Rohloff	[50]
41	Grzegorz Rozenberg	[58]
42	Alberto L. Sangiovanni-Vincentelli	[65] [70]
43	Eckehard Schnieder	[57]
44	Andy Schürr	[30]
45	Reinhard Schütte	[50]
46	Manuel Silva	[27]
47	Wolffried Stucky	[28]
48	Samir Tata	[82] [86]
49	Ferucio Laurentiu Tiplea	[29]
50	Dorothea Tippe	[46]
51	Tobias Vesper	[17]
52	Rolf Walter	[17]
53	Yosinori Watanabe	[65] [70]
54	Mathias Weske	[45] [59]
55	Martin Wessner	[52] [53]
56	Engelbert Westkämper	[57]
57	Alexandre Yakovlev (Alex Yakovlev)	[85]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page