Desel, J.

• Bergenthum, Robin; Desel, Jörg; Juhás, Gabriel; Lorenz, Robert:
  Can I Execute My Scenario in Your Net? VipTool Tells You!. 2006.

• Desel, Jörg:
  Schwach beschränkte Petrinetze. 2005.

• Juhás, Gabriel; Lorenz, Robert; Desel, Jörg:
  Can I Execute My Scenario in Your Net?. 2005.

• Desel, Jörg:
  Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. 2004.

• Desel, Jörg; Hanisch, Hans-Michael; Juhás, Gabriel; Lorenz, Robert; Neumair, Christian:
  A Guide to Modelling and Control with Modules of Signal Nets. 2004.

• Desel, Jörg; Juhás, Gabriel; Neumair, Christian:
  Finite Unfoldings of Unbounded Petri Nets. 2004.

• Desel, Jörg; Milijic, Vesna; Neumair, Christian:
  Model Validation in Controller Design. 2004.

• Desel, Jörg; Erwin, Thomas:
  Quantitative Engineering of Business Processes with VIP business. 2003.

• Desel, Jörg; Juhás, Gabriel; Lorenz, Robert; Neumair, Christian:
  Modelling and Validation with VipTool. 2003.

• van der Aalst, W.M.P.; Desel, J.; Kindler, E.:
  On the Semantics of EPCs: A Vicious Circle. 2002.

• Desel, Jörg:
  Model Validation - A Theoretical Issue?. 2002.

• Desel, Jörg; Juhás, Gabriel:
  "What Is a Petri Net?". 2001.

• Desel, Jörg; Juhás, Gabriel; Lorenz, Robert:
  Petri Nets over Partial Algebra. 2001.

• Desel, Jörg:
  Petri Net Based Specification Techniques for Flexible Workflows. 2001.

• Desel, Jörg; Kindler, Ekkart:
  Petri nets and components - extending the DAWN approach?. 2001.

• Desel, J.:
  Simulation of Petri net processes. 2000.

• Desel, J.:
  Validation of Process Models by Construction of Process Nets. 2000.

• Desel, J.; Erwin, T.:
  Hybrid specifications: looking at workflows from a run-time perspective. 2000.

• Desel, J.; Erwin, Th.:
  Modeling, Simulation and Analysis of Business Processes. 2000.

• Desel, Jörg; Juhás, Gabriel; Lorenz, Robert:
  Process Semantics of Petri Nets over Partial Algebra. 2000.

• Desel, J.; Juhàs, G.; Lorenz, R.:
  Process Semantics and Process Equivalence of NCEM. 2000.

• Desel, Jörg:
  Partial-Order Based Simulation of Petri Nets. 1999.

• van der Aalst, W.M.P.; Desel, J.; Kaschek, R.:
  Software Architectures for Business Process Management (SABPM'99), Heidelberg, Germany. 1999.

• Desel, Jörg:
  How to model traffic lights. 1999.

• Desel, Jörg:
  Basic Linear Algebraic Techniques for Place/Transition Nets. 1998.

• Desel, Jörg:
  Petrinetze, lineare Algebra und lineare Programmierung: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen. 1998.

• Desel, Jörg; Erwin, Thomas:
  Leistungsbewertung von Geschäftsprozessen. 1998.

• Desel, Jörg; Reisig, Wolfgang:
  Place/Transition Petri Nets. 1998.

• van der Aalst, W.M.P.; Kindler, E.; Desel, J.:
  Beyond Asymmetric Choice: A note on some extensions. 1998.

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

• Desel, J.:
  How distributed algorithms play the token game. 1997.

• Weber, M.; Walter, R.; Völzer, H.; Vesper, T.; Reisig, W.; Peuker, S.; Kindler, E.; Freiheit, J.; Desel, J.:
  DAWN. Petrinetzmodelle zur Verifikation Verteilter Algorithmen. 1997.

• Desel, J.; Kindler, E.; Oberweis, A.:
  4. Workshop Algorithmen und Werkzeuge für Petrinetze. 1997.

• Desel, Jörg; Kindler, Ekkart:
  Proving Correctness of Distributed Algorithms: A Petri Net Approach. 1997.

• Desel, J.; Neuendorf, K.-P.; Radola, M.-D.:
  Proving Nonreachability by Modulo-Invariants. 1996.

• Desel, Jörg:
  Über den Beweis von Zielen mit linear-algebraischen Techniken. 1996.

• Kindler, Ekkart; Desel, Jörg:
  Der Traum von einem universellen Petrinetz-Werkzeug - Der Petrinetz-Kern. 1996.

• Desel, J.; Kindler, E.; Oberweis, A.:
  3. Workshop Algorithmen und Werkzeuge für Petrinetze. 1996.

• Desel, Jörg; Oberweis, Andreas:
  Petri-Netze in der Angewandten Informatik - Einführung, Grundlagen und Perspektiven. 1996.

• Walter, Rolf; Völzer, Hagen; Vesper, Tobias; Reisig, Wolfgang; Kindler, Ekkart; Freiheit, Jörn; Desel, Jörg:
  Memorandum: Petrinetzmodelle zur Verifikation Verteilter Algorithmen. 1996.

• Desel, Jörg:
  Structures in Concurrency Theory. 1995.

• Desel, Jörg; Esparza, Javier:
  Free Choice Petri nets. 1995.

• Desel, Jörg; Fleischhack, Hans; Oberweis, Andreas; Sonnenschein, Michael:
  2. Workshop Algorithmen und Werkzeuge für Petrinetze. 1995.

• Desel, Jörg; Kindler, Ekkart; Vesper, Tobias; Walter, Rolf:
  A simplified proof for a self-stabilizing protocol: A Game of Cards. 1995.

• Desel, Jörg; Kindler, Ekkart; Walter, Rolf:
  The Game of Tokens: A Collection of Proofs. 1995.

• Desel, Jörg:
  Regular marked Petri nets. 1994.

• Desel, Jörg; Kindler, Ekkart; Walter, Rolf:
  A game of tokens (proof contest). 1994.

• Desel, Jörg; Oberweis, Andreas:
  Validierung von Informationssystemen durch Auswertung halbgeordneter Petrinetz-Simulationsläufe. 1994.

• Desel, Jörg; Oberweis, Andreas; Reisig, Wolfgang:
  Algorithmen und Werkzeuge für Petrinetze. 1994.

• Desel, Jörg; Radola, Micaela-Daphne:
  Proving non-reachability by modulo-place-invariants. 1994.

• Desel, J.; Esparza, J.:
  Reachability in cyclic extended free-choice systems. 1993.

• Desel, J.; Esparza, J.:
  Shortest Paths in Reachability Graphs. 1993.

• Desel, Jörg:
  P/T-Systems, Invariants, and Free-Choice Systems. 1993.

• Desel, Jörg:
  Regular Marked Petri Nets. 1993.

• Desel, Jörg; Esparza, Javier:
  Structure theory of free choice systems. 1993.

• Desel, Jörg; Reisig, Wolfgang:
  The Synthesis Problem of Petri Nets. 1993.

• Best, E.; Desel, J.; Esparza, J.:
  Traps characterize home states in free choice systems. 1992.

• Desel, Jörg:
  Struktur und Analyse von Free-Choice-Petrinetzen. 1992.

• Desel, Jörg; Gomm, Dominik; Kindler, Ekkart; Walter, Rolf; Paech, Barbara:
  Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme. 1992.

• Desel, Jörg:
  A Proof of the Rank Theorem for Extended Free Choice Nets. 1992.

• Best, Eike; Cherkasova, Ludmila; Desel, Jörg:
  Compositional Generation of Home States in Free Choice Systems. 1991.

• Desel, Jörg:
  On Abstraction of Nets. 1991.

• Desel, Jörg; Esparza, Javier:
  Reachability in Reversible Free Choice Systems. 1991.

• Desel, Jörg:
  On the Power of Place-Invariants. 1991.

• Best, Eike; Cherkasova, Ludmila; Desel, Jörg; Esparza, Javier:
  Traps, Free Choice and Home States (Extended Abstract). 1990.

• Desel, Jörg:
  Reduction and Design of Well-Behaved Concurrent Systems. 1990.

• Desel, Jörg; Merceron, Agathe:
  P/T-systems as Abstractions of C/E-systems. 1990.

• Best, Eike; Cherkasova, Ludmila; Desel, Jörg; Esparza, Javier:
  Characterisation of Home States in Free Choice Systems. 1990.

• Desel, Jörg; Esparza, Javier:
  Reachability in Reversible Free Choice Systems. 1990.

• Desel, Jörg:
  On Abstractions of Nets. 1990.

• Desel, Jörg; Reisig, Wolfgang; Walter, Rolf:
  The Alternating Bit Protocol: Fairness Versus Priority. 1990.

• Best, Eike; Desel, Jörg:
  Partial Order Behaviour and Structure of Petri Nets. 1989.

• Desel, Jörg; Best, Eike:
  AC/DC systems. 1989.

• Desel, Jörg; Merceron, Agathe:
  Vicinity Respecting Net Morphisms. 1989.

• Desel, Jörg:
  AC/DC-Systems. 1989.

• Desel, J.:
  Synchronie-Abstand in Stellen/Transitions-Systemen. 1988.

• Desel, J.; Merceron, A.:
  P/T-Systems as Abstractions of C/E-Systems. 1988.

• Desel, Jörg:
  Wanted: Dead or Alive?. 1988.

• Desel, Jörg:
  A Structural Property of Free-Choice Systems. 1986.

• Desel, Jörg:
  Another Boatman Story. 1985.

Back to the Petri Nets Bibliography