Jörg Desel

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 17

Top Venues

Petri Nets

Inform. Spektrum

ATAED@Petri Nets/ACSD

Fundam. Informaticae

Publications

Jörg Desel, Julia Fleischer, Moritz Sommer
The Square Petri Net. PeNGE@Petri Nets (2024)
Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi
Symbolic Observation Graph-Based Generation of Test Paths. TAP (2023)
Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár
Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. Petri Nets (2023)
Jörg Desel
The Chameleon Game. PNSE@Petri Nets (2022)
Jörg Desel, Daniel Krupka, Julia Meisner
GI entwickelt Empfehlungen zur Gestaltung von Data-Science-Masterstudiengängen. Datenbank-Spektrum 22 (1) (2022)
Simone Opel, Cajus Marian Netzer, Jörg Desel
AsTRA - An Assessment Tool for Recognition and Adaptation of Prior Professional Experience and Vocational Training. OCCE (2021)
Jörg Desel, Marc Finthammer
Stop-transitions of Petri Nets. Fundam. Informaticae 175 (1-4) (2020)
Jörg Desel
Modellieren lehren - Lehren modellieren (Extended Abstract) (Teaching Modeling - Model Teaching). Modellierung (Companion) (2020)
Jörg Desel, Marc Finthammer, Andrea Frank
Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets. Petri Nets (2020)
Jörg Desel, Javier Esparza, Philipp Hoffmann
Negotiation as concurrency primitive. Acta Informatica 56 (2) (2019)
Jörg Desel
Can a Single Transition Stop an Entire Net? ATAED@Petri Nets/ACSD (2019)
Christine Choppy, Jörg Desel, Laure Petrucci
Specialisation and Generalisation of Processes. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13 (Special) (2018)
Jörg Desel
Die Entwicklung neuer GI-Empfehlungen für Informatik-Studiengänge. GI-Jahrestagung (2017)
Benjamin Meis, Robin Bergenthum, Jörg Desel
travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. Petri Nets (2017)
Benjamin Meis, Robin Bergenthum, Jörg Desel
Synthesis of Elementary Net Systems with Final Configurations. ATAED@Petri Nets/ACSD (2016)
Jörg Desel, Javier Esparza, Philipp Hoffmann
Negotiation as Concurrency Primitive. CoRR (2016)
Jörg Desel, Javier Esparza
Negotiations and Petri Nets. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Jörg Desel, Görkem Kilinç
Observable liveness of Petri nets. Acta Informatica 52 (2-3) (2015)
Jörg Desel, Javier Esparza
Negotiations and Petri Nets. PNSE @ Petri Nets (2015)
Jörg Desel, Wolfgang Reisig
The concepts of Petri nets. Softw. Syst. Model. 14 (2) (2015)
José Manuel Colom, Jörg Desel, Jetty Kleijn
Preface. Fundam. Informaticae 137 (1) (2015)
Hannes Federrath, Jörg Desel, Albert Endres, Patrick Stoll
Internet der Zukunft - sicher, schnell, vertrauenswürdig. Inform. Spektrum 38 (4) (2015)
Javier Esparza, Jörg Desel
Negotiation Programs. Petri Nets (2015)
Javier Esparza, Jörg Desel
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. CoRR (2014)
Jörg Desel, Görkem Kilinç
Observable Liveness. PNSE @ Petri Nets (2014)
Wolfgang Reisig, Jörg Desel
Konzepte der Petrinetze. Inform. Spektrum 37 (3) (2014)
Javier Esparza, Jörg Desel
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. FoSSaCS (2014)
Christian Wakup, Jörg Desel
Analyzing a TCP/IP-Protocol with Process Mining Techniques. Business Process Management Workshops (2014)
Jörg Desel, Wolfgang Reisig
Petrinetze. Inform. Spektrum 37 (3) (2014)
Javier Esparza, Jörg Desel
On Negotiation as Concurrency Primitive. CONCUR (2013)
Jörg Desel
On Cyclic Behaviour of Unbounded Petri Nets. ACSD (2013)
Robert Lorenz, Jörg Desel, Gabriel Juhás
Models from Scenarios. Trans. Petri Nets Other Model. Concurr. 7 (2013)
Javier Esparza, Jörg Desel
On Negotiation as Concurrency Primitive. CoRR (2013)
Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser
Modeling and Mining of Learnflows. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Kais Klai, Jörg Desel
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. FMOODS/FORTE (2012)
Boudewijn F. van Dongen, Jörg Desel, Wil M. P. van der Aalst
Aggregating Causal Runs into Workflow Nets. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Christine Choppy, Jörg Desel, Laure Petrucci
Specialisation and Generalisation of Processes. PNSE (2011)
Robin Bergenthum, Jörg Desel, Sebastian Mauser
Workflow Nets with Roles. EMISA (2011)
Kais Klai, Samir Tata, Jörg Desel
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. Data Knowl. Eng. 70 (5) (2011)
Jörg Desel, Agathe Merceron
Vicinity Respecting Homomorphisms for Abstracting System Requirements. Trans. Petri Nets Other Model. Concurr. 4 (2010)
Jörg Desel, Alex Yakovlev
Introduction. ACSD/Petri Nets Workshops (2010)
Jörg Desel, Leo von Klenze
AMSEL - ein Lernsystem zum Algorithmenentwurf. DeLFI (2010)
Kais Klai, Samir Tata, Jörg Desel
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM (2009)
Robin Bergenthum, Jörg Desel, Sebastian Mauser
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Trans. Petri Nets Other Model. Concurr. 3 (2009)
Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Informaticae 95 (1) (2009)
Gabriel Juhás, Robert Lorenz, Jörg Desel
Unifying Petri Net Semantics with Token Flows. Petri Nets (2009)
Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser
Executability of scenarios in Petri nets. Theor. Comput. Sci. 410 (12-13) (2009)
Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. 2 (2009)
Andreas Hermann, Jörg Desel
Driving situation analysis in automotive environment. ICVES (2008)
Jörg Desel
From Human Knowledge to Process Models. UNISCON (2008)
Jörg Desel, Christian Neumair
Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. DDI (2008)
Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser
Learnflow Mining. DeLFI (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Synthesis of Petri nets from infinite partial languages. ACSD (2008)
Jörg Desel, Dorothea Iglezakis
Hilfreiche Hilfe? - Adaptives Learning-on-Demand. DeLFI (2008)
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli
Schedulability Analysis of Petri Nets Based on Structural Properties. Fundam. Informaticae 86 (3) (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae 88 (4) (2008)
Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser
Synthesis of Petri Nets from Finite Partial Languages. ACSD (2007)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Process Mining Based on Regions of Languages. BPM (2007)
Jörg Desel
Controlling Petri Net Process Models. WS-FM (2007)
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel
Schedulability Analysis of Petri Nets Based on Structural Properties. ACSD (2006)
Jörg Desel
Petri Net Model Synthesis from Scenarios. MBEES (2006)
Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz
Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN (2006)
Gabriel Juhás, Robert Lorenz, Jörg Desel
Can I Execute My Scenario in Your Net?. ICATPN (2005)
Jörg Desel
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. SoftSpez Final Report (2004)
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)
Jörg Desel, Martin Wessner
Bericht aus der Fachgruppe E-Learning. i-com 3 (2) (2004)
Jörg Desel, Gabriel Juhás, Christian Neumair
Finite Unfoldings of Unbounded Petri Nets. ICATPN (2004)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Dorothea Tippe, Jörg Desel
Potentiale Virtueller Lerngruppen aus Sicht der Psychologie. Künstliche Intell. 17 (1) (2003)
Jörg Desel, Thomas Erwin
Quantitative Engineering of Business Processes with VIP business. Petri Net Technology for Communication-Based Systems (2003)
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)
Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair
Modelling and Validation with VipTool. Business Process Management (2003)
Jörg Desel, Vesna Milijic, Christian Neumair
Model Validation in Controller Design. Lectures on Concurrency and Petri Nets (2003)
Jörg Desel
Model Validation - A Theoretical Issue? ICATPN (2002)
Jörg Desel
Tutorium: Validierung und Verifikation von Prozessmodellen. Promise (2002)
Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler
On the semantics of EPCs: A vicious circle. EPK (2002)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Petri Nets over Partial Algebra. Unifying Petri Nets (2001)
Jörg Desel
Wer will virtuell lehren? Wer will virtuell lernen? GI Jahrestagung (2) (2001)
Jörg Desel, Gabriel Juhás
''What Is a Petri Net?''. Unifying Petri Nets (2001)
Jörg Desel
Teaching system modeling, simulation and validation. WSC (2000)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Process Semantics of Petri Nets over Partial Algebra. ICATPN (2000)
Jörg Desel, Thomas Erwin
Modeling, Simulation and Analysis of Business Processes. Business Process Management (2000)
Jörg Desel
Validation of Process Models by Construction of Process Nets. Business Process Management (2000)
Jörg Desel, Thomas Erwin, Wolffried Stucky
Simulation und Leistungsbewertung von Geschäftsprozessen. EMISA (1999)
Ferucio Laurentiu Tiplea, Jörg Desel
Petri Net Process Decomposition with Application to Validation. AWPN (1999)
Jörg Desel, Ekkart Kindler
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. ACSD (1998)
Jörg Desel
Petrinetze als Grundlage der Ablaufmodellierung. Modellierung (1998)
Jörg Desel
How Distributed Algorithms Play the Token Game. Foundations of Computer Science: Potential - Theory - Cognition (1997)
Jörg Desel, Horst Reichel
Workshop: Grundlagen der Parallelität. GI Jahrestagung (1997)
Jörg Desel, Klaus-Peter Neuendorf, M.-D. Radola
Proving Nonreachability by Modulo-Invariants. Theor. Comput. Sci. 153 (1&2) (1996)
Jörg Desel
Basic Linear Algebraic Techniques for Place or Transition Nets. Petri Nets (1996)
Jörg Desel, Wolfgang Reisig
Place or Transition Petri Nets. Petri Nets (1996)
Jörg Desel, Wolfgang Reisig
The Synthesis Problem of Petri Nets. Acta Informatica 33 (4) (1996)
Jörg Desel, Andreas Oberweis
Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven. Wirtschaftsinf. 38 (4) (1996)
Jörg Desel, Javier Esparza
Shortest Paths in Reachability Graphs. J. Comput. Syst. Sci. 51 (2) (1995)
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) (1995)
Jörg Desel
Proving Non-Reachabililty by Modulo-Place-Invariants. FSTTCS (1994)
Jörg Desel
Regular Marked Petri Nets. WG (1993)

Jörg Desel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jörg Desel