 | 2009 |
|---|
| 77 |       | Kais Klai,
Samir Tata,
Jörg Desel:
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes.
BPM 2009: 294-309 |
| 76 | | Gabriel Juhás,
Robert Lorenz,
Jörg Desel:
Unifying Petri Net Semantics with Token Flows.
Petri Nets 2009: 2-21 |
| 75 | | 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) |
| 74 | | 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) |
| 73 | | 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 |
|---|
| 72 | | Robin 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 |
| 68 | | Robin Bergenthum,
Jörg Desel,
Robert Lorenz,
Sebastian Mauser:
Synthesis of Petri Nets from Scenarios with VipTool.
Petri Nets 2008: 388-398 |
| 67 | | Jörg Desel:
From Human Knowledge to Process Models.
UNISCON 2008: 84-95 |
| 66 | | 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) |
| 65 | | 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 |
|---|
| 64 | | Robert Lorenz,
Robin Bergenthum,
Jörg Desel,
Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages.
ACSD 2007: 157-166 |
| 63 | | Robin Bergenthum,
Jörg Desel,
Robert Lorenz,
Sebastian Mauser:
Process Mining Based on Regions of Languages.
BPM 2007: 375-383 |
| 62 | | Jörg Desel:
Controlling Petri Net Process Models.
WS-FM 2007: 17-30 |
| 2006 |
|---|
| 61 | | 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 |
| 60 | | 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 |
| 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 |
| 58 | | Gabriel 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 |
| 54 | | Jörg Desel,
Gabriel Juhás,
Christian Neumair:
Finite Unfoldings of Unbounded Petri Nets.
ICATPN 2004: 157-176 |
| 53 | | 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 |
| 52 | | 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 |
| 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 |
| 50 | | Jö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 |
| 48 | | Jörg Desel,
Vesna Milijic,
Christian Neumair:
Model Validation in Controller Design.
Lectures on Concurrency and Petri Nets 2003: 467-495 |
| 47 | | Jörg Desel,
Thomas Erwin:
Quantitative Engineering of Business Processes with VIP business.
Petri Net Technology for Communication-Based Systems 2003: 219-242 |
| 46 | | 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): (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 |
| 43 | | Wil M. P. van der Aalst,
Jörg Desel,
Ekkart Kindler:
On the semantics of EPCs: A vicious circle.
EPK 2002: 71-79 |
| 42 | | Jö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 |
| 38 | | Jörg Desel,
Gabriel Juhás:
''What Is a Petri Net?''.
Unifying Petri Nets 2001: 1-25 |
| 37 | | Jörg Desel,
Gabriel Juhás,
Robert Lorenz:
Petri Nets over Partial Algebra.
Unifying Petri Nets 2001: 126-172 |
| 36 | | 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): (2001) |
| 2000 |
|---|
| 35 | | Wil M. P. van der Aalst,
Jörg Desel,
Andreas Oberweis:
Business Process Management, Models, Techniques, and Empirical Studies
Springer 2000 |
| 34 | | Jörg Desel:
Validation of Process Models by Construction of Process Nets.
Business Process Management 2000: 110-128 |
| 33 | | Jörg Desel,
Thomas Erwin:
Modeling, Simulation and Analysis of Business Processes.
Business Process Management 2000: 129-141 |
| 32 | | Jörg Desel,
Gabriel Juhás,
Robert Lorenz:
Process Semantics of Petri Nets over Partial Algebra.
ICATPN 2000: 146-165 |
| 31 | | Jö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 |
| 28 | | Ferucio 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 |
| 25 | | Jörg Desel,
Ekkart Kindler:
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.
ACSD 1998: 177-186 |
| 24 | | Jörg Desel:
Petrinetze als Grundlage der Ablaufmodellierung.
Modellierung 1998 |
| 1997 |
|---|
| 23 | | Jö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) |
| 18 | | Jö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 |
|---|
| 16 | | 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 |
|---|
| 15 | | Jörg Desel:
Proving Non-Reachabililty by Modulo-Place-Invariants.
FSTTCS 1994: 366-377 |
| 1993 |
|---|
| 14 | | Jörg Desel,
Javier Esparza:
Shortest Paths in Reachability Graphs.
Application and Theory of Petri Nets 1993: 224-241 |
| 13 | | Jörg Desel,
Wolfgang Reisig:
The Synthesis Problem of Petri Nets.
STACS 1993: 120-129 |
| 12 | | Jö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 |
|---|
| 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 |
