dblp.uni-trier.dewww.uni-trier.de

Jörg Desel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
76EEKais Klai, Samir Tata, Jörg Desel: Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM 2009: 294-309
75EEGabriel Juhás, Robert Lorenz, Jörg Desel: Unifying Petri Net Semantics with Token Flows. Petri Nets 2009: 2-21
74EERobin 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)
73EERobert 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
72EERobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Synthesis of Petri nets from infinite partial languages. ACSD 2008: 170-179
71 Jörg Desel, Christian Neumair: Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. DDI 2008: 151-152
70 Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser: Learnflow Mining. DeLFI 2008: 269-280
69 Jörg Desel, Dorothea Iglezakis: Hilfreiche Hilfe? - Adaptives Learning-on-Demand. DeLFI 2008: 293-304
68EERobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets 2008: 388-398
67EEJörg Desel: From Human Knowledge to Process Models. UNISCON 2008: 84-95
66EECong 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)
65EERobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Synthesis of Petri Nets from Finite Partial Languages. Fundam. Inform. 88(4): 437-468 (2008)
2007
64EERobert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser: Synthesis of Petri Nets from Finite Partial Languages. ACSD 2007: 157-166
63EERobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Process Mining Based on Regions of Languages. BPM 2007: 375-383
62EEJörg Desel: Controlling Petri Net Process Models. WS-FM 2007: 17-30
2006
61EECong 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
60EERobin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz: Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN 2006: 381-390
2005
59 Jörg Desel, Ulrich Frank: Enterprise Modelling and Information Systems Architectures, Proceedings of the Workshop in Klagenfurt, October 24-25, 2005 GI 2005
58EEGabriel Juhás, Robert Lorenz, Jörg Desel: Can I Execute My Scenario in Your Net?. ICATPN 2005: 289-308
2004
57 Jörg Desel, Barbara Pernici, Mathias Weske: Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004. Proceedings Springer 2004
56 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
55 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
54EEJörg Desel, Gabriel Juhás, Christian Neumair: Finite Unfoldings of Unbounded Petri Nets. ICATPN 2004: 157-176
53EEJörg Desel: Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. SoftSpez Final Report 2004: 199-205
52EEJö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
2003
51 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
50EEJörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair: Modelling and Validation with VipTool. Business Process Management 2003: 380-389
49 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
48EEJörg Desel, Vesna Milijic, Christian Neumair: Model Validation in Controller Design. Lectures on Concurrency and Petri Nets 2003: 467-495
47EEJörg Desel, Thomas Erwin: Quantitative Engineering of Business Processes with VIP business. Petri Net Technology for Communication-Based Systems 2003: 219-242
46EEJö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): (2003)
45 Dorothea Tippe, Jörg Desel: Potentiale Virtueller Lerngruppen aus Sicht der Psychologie. KI 17(1): 40- (2003)
2002
44 Jörg Desel, Mathias Weske: Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam GI 2002
43EEWil M. P. van der Aalst, Jörg Desel, Ekkart Kindler: On the semantics of EPCs: A vicious circle. EPK 2002: 71-79
42EEJörg Desel: Model Validation - A Theoretical Issue? ICATPN 2002: 23-43
41 Jörg Desel: Tutorium: Validierung und Verifikation von Prozessmodellen. Promise 2002: 78-80
2001
40 Jörg Desel: Das ist Informatik Springer 2001
39 Jörg Desel: Wer will virtuell lehren? Wer will virtuell lernen? GI Jahrestagung (2) 2001: 1093-1098
38EEJörg Desel, Gabriel Juhás: ''What Is a Petri Net?''. Unifying Petri Nets 2001: 1-25
37EEJörg Desel, Gabriel Juhás, Robert Lorenz: Petri Nets over Partial Algebra. Unifying Petri Nets 2001: 126-172
36EEJörg Desel, Gabriel Juhás, Robert Lorenz: Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
2000
35 Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis: Business Process Management, Models, Techniques, and Empirical Studies Springer 2000
34EEJörg Desel: Validation of Process Models by Construction of Process Nets. Business Process Management 2000: 110-128
33EEJörg Desel, Thomas Erwin: Modeling, Simulation and Analysis of Business Processes. Business Process Management 2000: 129-141
32EEJörg Desel, Gabriel Juhás, Robert Lorenz: Process Semantics of Petri Nets over Partial Algebra. ICATPN 2000: 146-165
31EEJörg Desel: Teaching system modeling, simulation and validation. Winter Simulation Conference 2000: 1669-1675
1999
30 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
29 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
28EEFerucio Laurentiu Tiplea, Jörg Desel: Petri Net Process Decomposition with Application to Validation. AWPN 1999
27 Jörg Desel, Thomas Erwin, Wolffried Stucky: Simulation und Leistungsbewertung von Geschäftsprozessen. EMISA 1999: 127-146
1998
26 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
25EEJörg Desel, Ekkart Kindler: Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. ACSD 1998: 177-186
24EEJörg Desel: Petrinetze als Grundlage der Ablaufmodellierung. Modellierung 1998
1997
23EEJörg Desel: How Distributed Algorithms Play the Token Game. Foundations of Computer Science: Potential - Theory - Cognition 1997: 297-306
22 Jörg Desel, Horst Reichel: Workshop: Grundlagen der Parallelität. GI Jahrestagung 1997: 626
1996
21 Jörg Desel, Wolfgang Reisig: Place or Transition Petri Nets. Petri Nets 1996: 122-173
20 Jörg Desel: Basic Linear Algebraic Techniques for Place or Transition Nets. Petri Nets 1996: 257-308
19 Jörg Desel, Wolfgang Reisig: The Synthesis Problem of Petri Nets. Acta Inf. 33(4): 297-315 (1996)
18EEJörg Desel, K.-P. Neuendorf, M.-D. Radola: Proving Nonreachability by Modulo-Invariants. Theor. Comput. Sci. 153(1&2): 49-64 (1996)
17 Jörg Desel, Andreas Oberweis: Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven. Wirtschaftsinformatik 38(4): 359-367 (1996)
1995
16EEJö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
15EEJörg Desel: Proving Non-Reachabililty by Modulo-Place-Invariants. FSTTCS 1994: 366-377
1993
14EEJörg Desel, Javier Esparza: Shortest Paths in Reachability Graphs. Application and Theory of Petri Nets 1993: 224-241
13EEJörg Desel, Wolfgang Reisig: The Synthesis Problem of Petri Nets. STACS 1993: 120-129
12EEJörg Desel: Regular Marked Petri Nets. WG 1993: 264-275
11 Jörg Desel, Javier Esparza: Reachability in Cyclic Extended Free-Choice Systems. Theor. Comput. Sci. 114(1): 93-118 (1993)
1992
10EEJö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
7EEJörg Desel, Javier Esparza: Reachability in Reversible Free Choice Systems. STACS 1991: 384-397
6EEEike Best, Ludmila Cherkasova, Jörg Desel: Compositional Generation of Home States in Free Choice Systems. STACS 1991: 398-409
1990
5EEJörg Desel: On abstraction of nets. Applications and Theory of Petri Nets 1990: 78-92
4EEJö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
2EEJörg Desel, Agathe Merceron: Vicinity respecting net morphisms. Applications and Theory of Petri Nets 1989: 165-185
1988
1EEJö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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)