P/T-systems as abstractions of C/E-systems. - Jörg Desel; Agathe Merceron (European Workshop on Applications and Theory in Petri Nets, 1988)

Vicinity respecting net morphisms. - Jörg Desel; Agathe Merceron (Applications and Theory of Petri Nets, 1989)

On abstraction of nets. - Jörg Desel (Applications and Theory of Petri Nets, 1990)

Reduction and Design of Well-behaved Concurrent Systems. - Jörg Desel (CONCUR, 1990)

Partial Order Behaviour and Structure of Petri Nets. - Eike Best; Jörg Desel (Formal Aspects Comput., 1990)

Reachability in reversible free-choice systems - Jörg Desel; Javier Esparza (Forschungsberichte, TU Munich, 1990)

Compositional Generation of Home States in Free Choice Systems. - Eike Best; Ludmila Cherkasova; Jörg Desel (STACS, 1991)

Struktur und Analyse von Free-Choice-Petrinetzen. - Jörg Desel (Deutscher Universitätsverlag, 1992)

A Proof of the Rank Theorem for Extended Free Choice Nets. - Jörg Desel (Application and Theory of Petri Nets, 1992)

Compositional Generation of Home States in Free Choice Nets. - Eike Best; Ludmila Cherkasova; Jörg Desel (Formal Aspects Comput., 1992)

Traps Characterize Home States in Free Choice Systems. - Eike Best; Jörg Desel; Javier Esparza (Theor. Comput. Sci., 1992)

Regular Marked Petri Nets. - Jörg Desel (WG, 1993)

Reachability in Cyclic Extended Free-Choice Systems. - Jörg Desel; Javier Esparza (Theor. Comput. Sci., 1993)

Proving Non-Reachabililty by Modulo-Place-Invariants. - Jörg Desel (FSTTCS, 1994)

A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. - Jörg Desel; Ekkart Kindler; Tobias Vesper; Rolf Walter (Inf. Process. Lett., 1995)

Shortest Paths in Reachability Graphs. - Jörg Desel; Javier Esparza (J. Comput. Syst. Sci., 1995)

Basic Linear Algebraic Techniques for Place or Transition Nets. - Jörg Desel (Petri Nets, 1996)

Place or Transition Petri Nets. - Jörg Desel; Wolfgang Reisig (Petri Nets, 1996)

The Synthesis Problem of Petri Nets. - Jörg Desel; Wolfgang Reisig (Acta Informatica, 1996)

Proving Nonreachability by Modulo-Invariants. - Jörg Desel; Klaus-Peter Neuendorf; M.-D. Radola (Theor. Comput. Sci., 1996)

Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven. - Jörg Desel; Andreas Oberweis (Wirtschaftsinf., 1996)

How Distributed Algorithms Play the Token Game. - Jörg Desel (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

Workshop: Grundlagen der Parallelität. - Jörg Desel; Horst Reichel (GI Jahrestagung, 1997)

Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. - Jörg Desel; Ekkart Kindler (ACSD, 1998)

Petrinetze als Grundlage der Ablaufmodellierung. - Jörg Desel (Modellierung, 1998)

Petri Net Process Decomposition with Application to Validation. - Ferucio Laurentiu Tiplea; Jörg Desel (AWPN, 1999)

Simulation und Leistungsbewertung von Geschäftsprozessen. - Jörg Desel; Thomas Erwin; Wolffried Stucky (EMISA, 1999)

Process Semantics of Petri Nets over Partial Algebra. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (ICATPN, 2000)

Validation of Process Models by Construction of Process Nets. - Jörg Desel (Business Process Management, 2000)

Modeling, Simulation and Analysis of Business Processes. - Jörg Desel; Thomas Erwin (Business Process Management, 2000)

Teaching system modeling, simulation and validation. - Jörg Desel (WSC, 2000)

''What Is a Petri Net?''. - Jörg Desel; Gabriel Juhás (Unifying Petri Nets, 2001)

Petri Nets over Partial Algebra. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (Unifying Petri Nets, 2001)

Wer will virtuell lehren? Wer will virtuell lernen? - Jörg Desel (GI Jahrestagung (2), 2001)

Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (UNIGRA, 2001)

Model Validation - A Theoretical Issue? - Jörg Desel (ICATPN, 2002)

Tutorium: Validierung und Verifikation von Prozessmodellen. - Jörg Desel (Promise, 2002)

On the semantics of EPCs: A vicious circle. - Wil M. P. van der Aalst; Jörg Desel; Ekkart Kindler (EPK, 2002)

Model Validation in Controller Design. - Jörg Desel; Vesna Milijic; Christian Neumair (Lectures on Concurrency and Petri Nets, 2003)

Modelling and Validation with VipTool. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001; Christian Neumair (Business Process Management, 2003)

Quantitative Engineering of Business Processes with VIP business. - Jörg Desel; Thomas Erwin (Petri Net Technology for Communication-Based Systems, 2003)

Referenzmodellierung 2003 (RefMod2003). - Jörg Becker 001; Jörg Desel; Ulrich Frank; Stefan Kirn; Helmut Krcmar; Peter Loos; Markus Nüttgens; Michael Rohloff; Reinhard Schütte (GI Jahrestagung (1), 2003)

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (UNIGRA, 2003)

Potentiale Virtueller Lerngruppen aus Sicht der Psychologie. - Dorothea Tippe; Jörg Desel (Künstliche Intell., 2003)

Finite Unfoldings of Unbounded Petri Nets. - Jörg Desel; Gabriel Juhás; Christian Neumair (ICATPN, 2004)

Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. - Jörg Desel (SoftSpez Final Report, 2004)

A Guide to Modelling and Control with Modules of Signal Nets. - Jörg Desel; Hans-Michael Hanisch; Gabriel Juhás; Robert Lorenz 001; Christian Neumair (SoftSpez Final Report, 2004)

Bericht aus der Fachgruppe E-Learning. - Jörg Desel; Martin Wessner (i-com, 2004)

Process Modeling Using Petri Nets. - Jörg Desel (Process-Aware Information Systems, 2005)

Can I Execute My Scenario in Your Net?. - Gabriel Juhás; Robert Lorenz 001; Jörg Desel (ICATPN, 2005)

Can I Execute My Scenario in Your Net? VipTool Tells You! - Robin Bergenthum; Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (ICATPN, 2006)

Petri Net Model Synthesis from Scenarios. - Jörg Desel (MBEES, 2006)

Process Mining Based on Regions of Languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (BPM, 2007)

Controlling Petri Net Process Models. - Jörg Desel (WS-FM, 2007)

Synthesis of Petri nets from infinite partial languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (ACSD, 2008)

Synthesis of Petri Nets from Scenarios with VipTool. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (Petri Nets, 2008)

Learnflow Mining. - Robin Bergenthum; Jörg Desel; Andreas Harrer; Sebastian Mauser (DeLFI, 2008)

Hilfreiche Hilfe? - Adaptives Learning-on-Demand. - Jörg Desel; Dorothea Iglezakis (DeLFI, 2008)

Driving situation analysis in automotive environment. - Andreas Hermann 002; Jörg Desel (ICVES, 2008)

From Human Knowledge to Process Models. - Jörg Desel (UNISCON, 2008)

Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. - Jörg Desel; Christian Neumair (DDI, 2008)

Synthesis of Petri Nets from Finite Partial Languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (Fundam. Informaticae, 2008)

Schedulability Analysis of Petri Nets Based on Structural Properties. - Cong Liu 013; Alex Kondratyev; Yosinori Watanabe; Jörg Desel; Alberto L. Sangiovanni-Vincentelli (Fundam. Informaticae, 2008)

Unifying Petri Net Semantics with Token Flows. - Gabriel Juhás; Robert Lorenz 001; Jörg Desel (Petri Nets, 2009)

Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. - Robin Bergenthum; Jörg Desel; Sebastian Mauser; Robert Lorenz 001 (Fundam. Informaticae, 2009)

Executability of scenarios in Petri nets. - Robert Lorenz 001; Gabriel Juhás; Robin Bergenthum; Jörg Desel; Sebastian Mauser (Theor. Comput. Sci., 2009)

Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. - Robin Bergenthum; Jörg Desel; Sebastian Mauser (Trans. Petri Nets Other Model. Concurr., 2009)

Construction of Process Models from Example Runs. - Robin Bergenthum; Jörg Desel; Sebastian Mauser; Robert Lorenz 001 (Trans. Petri Nets Other Model. Concurr., 2009)

Introduction. - Jörg Desel; Alex Yakovlev (ACSD/Petri Nets Workshops, 2010)

AMSEL - ein Lernsystem zum Algorithmenentwurf. - Jörg Desel; Leo von Klenze (DeLFI, 2010)

Vicinity Respecting Homomorphisms for Abstracting System Requirements. - Jörg Desel; Agathe Merceron (Trans. Petri Nets Other Model. Concurr., 2010)

Workflow Nets with Roles. - Robin Bergenthum; Jörg Desel; Sebastian Mauser (EMISA, 2011)

Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. - Kais Klai; Samir Tata; Jörg Desel (Data Knowl. Eng., 2011)

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. - Kais Klai; Jörg Desel (FMOODS/FORTE, 2012)

Modeling and Mining of Learnflows. - Robin Bergenthum; Jörg Desel; Andreas Harrer; Sebastian Mauser (Trans. Petri Nets Other Model. Concurr., 2012)

Aggregating Causal Runs into Workflow Nets. - Boudewijn F. van Dongen; Jörg Desel; Wil M. P. van der Aalst (Trans. Petri Nets Other Model. Concurr., 2012)

On Cyclic Behaviour of Unbounded Petri Nets. - Jörg Desel (ACSD, 2013)

On Negotiation as Concurrency Primitive. - Javier Esparza; Jörg Desel (CONCUR, 2013)

Models from Scenarios. - Robert Lorenz 001; Jörg Desel; Gabriel Juhás (Trans. Petri Nets Other Model. Concurr., 2013)

Observable Liveness. - Jörg Desel; Görkem Kilinç 001 (PNSE @ Petri Nets, 2014)

Analyzing a TCP/IP-Protocol with Process Mining Techniques. - Christian Wakup; Jörg Desel (Business Process Management Workshops, 2014)

On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. - Javier Esparza; Jörg Desel (FoSSaCS, 2014)

Petrinetze. - Jörg Desel; Wolfgang Reisig (Inform. Spektrum, 2014)

Konzepte der Petrinetze. - Wolfgang Reisig; Jörg Desel (Inform. Spektrum, 2014)

Negotiation Programs. - Javier Esparza; Jörg Desel (Petri Nets, 2015)

Observable liveness of Petri nets. - Jörg Desel; Görkem Kilinç 001 (Acta Informatica, 2015)

Preface. - José Manuel Colom; Jörg Desel; Jetty Kleijn (Fundam. Informaticae, 2015)

Internet der Zukunft - sicher, schnell, vertrauenswürdig. - Hannes Federrath; Jörg Desel; Albert Endres; Patrick Stoll (Inform. Spektrum, 2015)

The concepts of Petri nets. - Jörg Desel; Wolfgang Reisig (Softw. Syst. Model., 2015)

Synthesis of Elementary Net Systems with Final Configurations. - Benjamin Meis; Robin Bergenthum; Jörg Desel (ATAED@Petri Nets/ACSD, 2016)

Negotiations and Petri Nets. - Jörg Desel; Javier Esparza (Trans. Petri Nets Other Model. Concurr., 2016)

travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. - Benjamin Meis; Robin Bergenthum; Jörg Desel (Petri Nets, 2017)

Die Entwicklung neuer GI-Empfehlungen für Informatik-Studiengänge. - Jörg Desel (GI-Jahrestagung, 2017)

Specialisation and Generalisation of Processes. - Christine Choppy; Jörg Desel; Laure Petrucci (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018)

Carl Adam Petri's Synchronic Distance. - Jörg Desel (Carl Adam Petri: Ideas, Personality, Impact, 2019)

Can a Single Transition Stop an Entire Net? - Jörg Desel (ATAED@Petri Nets/ACSD, 2019)

Negotiation as concurrency primitive. - Jörg Desel; Javier Esparza; Philipp Hoffmann (Acta Informatica, 2019)

Cycl$ mathbf { circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets. - Jörg Desel; Marc Finthammer; Andrea Frank (Petri Nets, 2020)

Modellieren lehren - Lehren modellieren (Extended Abstract) (Teaching Modeling - Model Teaching). - Jörg Desel (Modellierung (Companion), 2020)

Stop-transitions of Petri Nets. - Jörg Desel; Marc Finthammer (Fundam. Informaticae, 2020)

AsTRA - An Assessment Tool for Recognition and Adaptation of Prior Professional Experience and Vocational Training. - Simone Opel; Cajus Marian Netzer; Jörg Desel (OCCE, 2021)

The Chameleon Game. - Jörg Desel (PNSE@Petri Nets, 2022)

GI entwickelt Empfehlungen zur Gestaltung von Data-Science-Masterstudiengängen. - Jörg Desel; Daniel Krupka; Julia Meisner (Datenbank-Spektrum, 2022)

ILP2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. - Sabine Folz-Weinstein; Robin Bergenthum; Jörg Desel; Jakub Kovár (Petri Nets, 2023)

Symbolic Observation Graph-Based Generation of Test Paths. - Kais Klai; Mohamed Taha Bennani; Jaime Arias 001; Jörg Desel; Hanen Ochi (TAP, 2023)

The Square Petri Net. - Jörg Desel; Julia Fleischer; Moritz Sommer (PeNGE@Petri Nets, 2024)