![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Jörg Desel
Person information
- affiliation: University of Hagen, Germany
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c77]Jörg Desel, Julia Fleischer, Moritz Sommer:
The Square Petri Net. PeNGE@Petri Nets 2024 - [e19]Jörg Desel, Laure Petrucci:
Proceedings of the Workshop Petri Net Games, Examples and Quizzes for Education, Contest and Fun co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2024), Geneva, Switzerland, June 25, 2024. CEUR Workshop Proceedings 3721, CEUR-WS.org 2024 [contents] - 2023
- [c76]Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár
:
ILP2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. Petri Nets 2023: 59-76 - [c75]Kais Klai
, Mohamed Taha Bennani
, Jaime Arias
, Jörg Desel, Hanen Ochi
:
Symbolic Observation Graph-Based Generation of Test Paths. TAP 2023: 127-146 - 2022
- [j33]Jörg Desel, Daniel Krupka, Julia Meisner:
GI entwickelt Empfehlungen zur Gestaltung von Data-Science-Masterstudiengängen. Datenbank-Spektrum 22(1): 73-77 (2022) - [c74]Jörg Desel:
The Chameleon Game. PNSE@Petri Nets 2022: 202-210 - 2021
- [c73]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: 222-233 - 2020
- [j32]Jörg Desel, Marc Finthammer:
Stop-transitions of Petri Nets. Fundam. Informaticae 175(1-4): 143-172 (2020) - [c72]Jörg Desel, Marc Finthammer, Andrea Frank:
Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets. Petri Nets 2020: 392-402 - [c71]Jörg Desel:
Modellieren lehren - Lehren modellieren (Extended Abstract) (Teaching Modeling - Model Teaching). Modellierung (Companion) 2020: 58-62
2010 – 2019
- 2019
- [j31]Jörg Desel, Javier Esparza
, Philipp Hoffmann:
Negotiation as concurrency primitive. Acta Informatica 56(2): 93-159 (2019) - [c70]Jörg Desel:
Can a Single Transition Stop an Entire Net? ATAED@Petri Nets/ACSD 2019: 23-35 - [p2]Jörg Desel:
Carl Adam Petri's Synchronic Distance. Carl Adam Petri: Ideas, Personality, Impact 2019: 119-132 - 2018
- [j30]Christine Choppy, Jörg Desel, Laure Petrucci:
Specialisation and Generalisation of Processes. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13(Special): 35-46 (2018) - 2017
- [c69]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: 101-111 - [c68]Jörg Desel:
Die Entwicklung neuer GI-Empfehlungen für Informatik-Studiengänge. GI-Jahrestagung 2017: 235-240 - 2016
- [j29]Jörg Desel, Javier Esparza
:
Negotiations and Petri Nets. Trans. Petri Nets Other Model. Concurr. 11: 203-225 (2016) - [c67]Benjamin Meis, Robin Bergenthum, Jörg Desel:
Synthesis of Elementary Net Systems with Final Configurations. ATAED@Petri Nets/ACSD 2016: 47-57 - [e18]Jörg Desel, Alex Yakovlev:
16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-2589-3 [contents] - [e17]Maciej Koutny, Jörg Desel, Jetty Kleijn:
Transactions on Petri Nets and Other Models of Concurrency XI. Lecture Notes in Computer Science 9930, Springer 2016, ISBN 978-3-662-53400-7 [contents] - [i5]Jörg Desel, Javier Esparza, Philipp Hoffmann:
Negotiation as Concurrency Primitive. CoRR abs/1612.07912 (2016) - 2015
- [j28]Jörg Desel, Görkem Kilinç
:
Observable liveness of Petri nets. Acta Informatica 52(2-3): 153-174 (2015) - [j27]José Manuel Colom, Jörg Desel, Jetty Kleijn:
Preface. Fundam. Informaticae 137(1) (2015) - [j26]Hannes Federrath, Jörg Desel, Albert Endres, Patrick Stoll:
Internet der Zukunft - sicher, schnell, vertrauenswürdig. Inform. Spektrum 38(4): 277-282 (2015) - [j25]Jörg Desel, Wolfgang Reisig:
The concepts of Petri nets. Softw. Syst. Model. 14(2): 669-683 (2015) - [c66]Jörg Desel, Javier Esparza:
Negotiations and Petri Nets. PNSE @ Petri Nets 2015: 41-57 - [c65]Javier Esparza
, Jörg Desel:
Negotiation Programs. Petri Nets 2015: 157-178 - [e16]Maciej Koutny, Jörg Desel, Serge Haddad:
Transactions on Petri Nets and Other Models of Concurrency X. Lecture Notes in Computer Science 9410, Springer 2015, ISBN 978-3-662-48649-8 [contents] - 2014
- [j24]Jörg Desel, Wolfgang Reisig:
Petrinetze. Inform. Spektrum 37(3): 165-167 (2014) - [j23]Wolfgang Reisig, Jörg Desel:
Konzepte der Petrinetze. Inform. Spektrum 37(3): 172-190 (2014) - [c64]Jörg Desel, Görkem Kilinç:
Observable Liveness. PNSE @ Petri Nets 2014: 143-163 - [c63]Christian Wakup, Jörg Desel:
Analyzing a TCP/IP-Protocol with Process Mining Techniques. Business Process Management Workshops 2014: 353-364 - [c62]Javier Esparza
, Jörg Desel:
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. FoSSaCS 2014: 258-273 - [i4]Javier Esparza, Jörg Desel:
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. CoRR abs/1403.4958 (2014) - 2013
- [j22]Robert Lorenz, Jörg Desel, Gabriel Juhás
:
Models from Scenarios. Trans. Petri Nets Other Model. Concurr. 7: 314-371 (2013) - [c61]Jörg Desel:
On Cyclic Behaviour of Unbounded Petri Nets. ACSD 2013: 110-119 - [c60]Javier Esparza
, Jörg Desel:
On Negotiation as Concurrency Primitive. CONCUR 2013: 440-454 - [e15]José Manuel Colom
, Jörg Desel:
Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Lecture Notes in Computer Science 7927, Springer 2013, ISBN 978-3-642-38696-1 [contents] - [i3]Javier Esparza, Jörg Desel:
On Negotiation as Concurrency Primitive. CoRR abs/1307.2145 (2013) - 2012
- [j21]Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser:
Modeling and Mining of Learnflows. Trans. Petri Nets Other Model. Concurr. 5: 22-50 (2012) - [j20]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: 334-363 (2012) - [c59]Kais Klai, Jörg Desel:
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. FMOODS/FORTE 2012: 67-83 - [e14]Jörg Desel, Jörg M. Haake, Christian Spannagel:
DeLFI 2012 - Die 10. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 24.-26. September 2012, FernUniversität Hagen. LNI P-207, GI 2012, ISBN 978-3-88579-601-5 [contents] - 2011
- [j19]Kais Klai, Samir Tata, Jörg Desel:
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. Data Knowl. Eng. 70(5): 467-482 (2011) - [c58]Christine Choppy, Jörg Desel, Laure Petrucci:
Specialisation and Generalisation of Processes. PNSE 2011: 109-123 - [c57]Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Workflow Nets with Roles. EMISA 2011: 65-78 - [e13]Jörg Desel, Alex Yakovlev:
Proceedings of the Workshop Applications of Region Theory 2011, Newcastle upon Tyne, UK, June 21, 2011. CEUR Workshop Proceedings 725, CEUR-WS.org 2011 [contents] - 2010
- [j18]Jörg Desel, Agathe Merceron:
Vicinity Respecting Homomorphisms for Abstracting System Requirements. Trans. Petri Nets Other Model. Concurr. 4: 1-20 (2010) - [c56]Jörg Desel, Alex Yakovlev:
Introduction. ACSD/Petri Nets Workshops 2010: 149 - [c55]Jörg Desel, Leo von Klenze:
AMSEL - ein Lernsystem zum Algorithmenentwurf. DeLFI 2010: 33-44
2000 – 2009
- 2009
- [j17]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): 187-217 (2009) - [j16]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) - [j15]Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz:
Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. 2: 243-259 (2009) - [j14]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: 216-243 (2009) - [c54]Gabriel Juhás
, Robert Lorenz, Jörg Desel:
Unifying Petri Net Semantics with Token Flows. Petri Nets 2009: 2-21 - [c53]Kais Klai, Samir Tata, Jörg Desel:
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM 2009: 294-309 - 2008
- [j13]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): 325-341 (2008) - [j12]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae 88(4): 437-468 (2008) - [c52]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri nets from infinite partial languages. ACSD 2008: 170-179 - [c51]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets 2008: 388-398 - [c50]Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser:
Learnflow Mining. DeLFI 2008: 269-280 - [c49]Jörg Desel, Dorothea Iglezakis:
Hilfreiche Hilfe? - Adaptives Learning-on-Demand. DeLFI 2008: 293-304 - [c48]Andreas Hermann, Jörg Desel:
Driving situation analysis in automotive environment. ICVES 2008: 216-221 - [c47]Jörg Desel:
From Human Knowledge to Process Models. UNISCON 2008: 84-95 - [c46]Jörg Desel, Christian Neumair:
Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. DDI 2008: 151-152 - 2007
- [c45]Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages. ACSD 2007: 157-166 - [c44]Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Process Mining Based on Regions of Languages. BPM 2007: 375-383 - [c43]Jörg Desel:
Controlling Petri Net Process Models. WS-FM 2007: 17-30 - 2006
- [c42]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 - [c41]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 - [c40]Jörg Desel:
Petri Net Model Synthesis from Scenarios. MBEES 2006: 19-26 - 2005
- [c39]Gabriel Juhás, Robert Lorenz, Jörg Desel:
Can I Execute My Scenario in Your Net?. ICATPN 2005: 289-308 - [p1]Jörg Desel:
Process Modeling Using Petri Nets. Process-Aware Information Systems 2005: 147-177 - [e12]Jörg Desel, Ulrich Frank:
Enterprise Modelling and Information Systems Architectures, Proceedings of the Workshop in Klagenfurt, October 24-25, 2005. LNI P-75, GI 2005, ISBN 3-88579-404-7 [contents] - 2004
- [j11]Jörg Desel, Martin Wessner:
Bericht aus der Fachgruppe E-Learning. i-com 3(2): 68-69 (2004) - [c38]Jörg Desel, Gabriel Juhás, Christian Neumair:
Finite Unfoldings of Unbounded Petri Nets. ICATPN 2004: 157-176 - [c37]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 - [c36]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 - [e11]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]. Lecture Notes in Computer Science 3098, Springer 2004, ISBN 3-540-22261-8 [contents] - [e10]Jörg Desel, Barbara Pernici, Mathias Weske:
Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004. Proceedings. Lecture Notes in Computer Science 3080, Springer 2004, ISBN 3-540-22235-9 [contents] - [e9]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. Lecture Notes in Computer Science 3147, Springer 2004, ISBN 3-540-23135-8 [contents] - 2003
- [j10]Dorothea Tippe, Jörg Desel:
Potentiale Virtueller Lerngruppen aus Sicht der Psychologie. Künstliche Intell. 17(1): 40- (2003) - [c35]Jörg Desel, Vesna Milijic, Christian Neumair:
Model Validation in Controller Design. Lectures on Concurrency and Petri Nets 2003: 467-495 - [c34]Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair:
Modelling and Validation with VipTool. Business Process Management 2003: 380-389 - [c33]Jörg Desel, Thomas Erwin:
Quantitative Engineering of Business Processes with VIP business. Petri Net Technology for Communication-Based Systems 2003: 219-242 - [c32]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 - [c31]Jörg Desel, Gabriel Juhás
, Robert Lorenz:
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. UNIGRA 2003: 46-62 - [e8]Arndt Bode, Jörg Desel, Sabine Rathmayer, Martin Wessner:
DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei München. LNI P-37, GI 2003, ISBN 3-88579-366-0 [contents] - 2002
- [c30]Jörg Desel:
Model Validation - A Theoretical Issue? ICATPN 2002: 23-43 - [c29]Jörg Desel:
Tutorium: Validierung und Verifikation von Prozessmodellen. Promise 2002: 78-80 - [c28]Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler:
On the semantics of EPCs: A vicious circle. EPK 2002: 71-79 - [e7]Jörg Desel, Mathias Weske:
Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam. LNI P-21, GI 2002, ISBN 3-88579-350-4 [contents] - 2001
- [c27]Jörg Desel, Gabriel Juhás:
''What Is a Petri Net?''. Unifying Petri Nets 2001: 1-25 - [c26]Jörg Desel, Gabriel Juhás, Robert Lorenz:
Petri Nets over Partial Algebra. Unifying Petri Nets 2001: 126-172 - [c25]Jörg Desel:
Wer will virtuell lehren? Wer will virtuell lernen? GI Jahrestagung (2) 2001: 1093-1098 - [c24]Jörg Desel, Gabriel Juhás
, Robert Lorenz:
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. UNIGRA 2001: 163-187 - [e6]Jörg Desel:
Das ist Informatik. Springer 2001, ISBN 3-540-41091-0 [contents] - 2000
- [c23]Jörg Desel, Gabriel Juhás
, Robert Lorenz:
Process Semantics of Petri Nets over Partial Algebra. ICATPN 2000: 146-165 - [c22]Jörg Desel:
Validation of Process Models by Construction of Process Nets. Business Process Management 2000: 110-128 - [c21]Jörg Desel, Thomas Erwin:
Modeling, Simulation and Analysis of Business Processes. Business Process Management 2000: 129-141 - [c20]Jörg Desel:
Teaching system modeling, simulation and validation. WSC 2000: 1669-1675 - [e5]Jörg Desel, Andreas Oberweis:
6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11. - 12., 1999. CEUR Workshop Proceedings 26, CEUR-WS.org 2000 [contents] - [e4]Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis:
Business Process Management, Models, Techniques, and Empirical Studies. Lecture Notes in Computer Science 1806, Springer 2000, ISBN 3-540-67454-3 [contents]
1990 – 1999
- 1999
- [c19]Ferucio Laurentiu Tiplea, Jörg Desel:
Petri Net Process Decomposition with Application to Validation. AWPN 1999 - [c18]Jörg Desel, Thomas Erwin, Wolffried Stucky:
Simulation und Leistungsbewertung von Geschäftsprozessen. EMISA 1999: 127-146 - [e3]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, ISBN 3-519-00274-4 [contents] - 1998
- [c17]Jörg Desel, Ekkart Kindler
:
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. ACSD 1998: 177-186 - [c16]Jörg Desel:
Petrinetze als Grundlage der Ablaufmodellierung. Modellierung 1998 - [e2]Jörg Desel, Manuel Silva Suárez:
Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings. Lecture Notes in Computer Science 1420, Springer 1998, ISBN 3-540-64677-9 [contents] - 1997
- [c15]Jörg Desel:
How Distributed Algorithms Play the Token Game. Foundations of Computer Science: Potential - Theory - Cognition 1997: 297-306 - [c14]Jörg Desel, Horst Reichel:
Workshop: Grundlagen der Parallelität. GI Jahrestagung 1997: 626 - 1996
- [j9]Jörg Desel, Wolfgang Reisig:
The Synthesis Problem of Petri Nets. Acta Informatica 33(4): 297-315 (1996) - [j8]Jörg Desel, Klaus-Peter Neuendorf, M.-D. Radola:
Proving Nonreachability by Modulo-Invariants. Theor. Comput. Sci. 153(1&2): 49-64 (1996) - [j7]Jörg Desel, Andreas Oberweis:
Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven. Wirtschaftsinf. 38(4): 359-367 (1996) - [c13]Jörg Desel, Wolfgang Reisig:
Place or Transition Petri Nets. Petri Nets 1996: 122-173 - [c12]Jörg Desel:
Basic Linear Algebraic Techniques for Place or Transition Nets. Petri Nets 1996: 257-308 - 1995
- [j6]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) - [j5]Jörg Desel, Javier Esparza
:
Shortest Paths in Reachability Graphs. J. Comput. Syst. Sci. 51(2): 314-323 (1995) - [e1]Jörg Desel:
Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995. Workshops in Computing, Springer 1995, ISBN 978-3-540-19982-3 [contents] - 1994
- [c11]Jörg Desel:
Proving Non-Reachabililty by Modulo-Place-Invariants. FSTTCS 1994: 366-377 - 1993
- [j4]Jörg Desel, Javier Esparza
:
Reachability in Cyclic Extended Free-Choice Systems. Theor. Comput. Sci. 114(1): 93-118 (1993) - [c10]Jörg Desel, Javier Esparza
:
Shortest Paths in Reachability Graphs. Application and Theory of Petri Nets 1993: 224-241 - [c9]Jörg Desel, Wolfgang Reisig:
The Synthesis Problem of Petri Nets. STACS 1993: 120-129 - [c8]Jörg Desel:
Regular Marked Petri Nets. WG 1993: 264-275 - 1992
- [b1]Jörg Desel:
Struktur und Analyse von Free-Choice-Petrinetzen. Technical University Munich, Germany, DUV Informatik, Deutscher Universitätsverlag 1992, ISBN 978-3-8244-2030-8, pp. I-XII, 1-198 - [j3]Eike Best, Ludmila Cherkasova, Jörg Desel:
Compositional Generation of Home States in Free Choice Nets. Formal Aspects Comput. 4(6): 572-581 (1992) - [j2]Eike Best, Jörg Desel, Javier Esparza
:
Traps Characterize Home States in Free Choice Systems. Theor. Comput. Sci. 101(2): 161-176 (1992) - [c7]Jörg Desel:
A Proof of the Rank Theorem for Extended Free Choice Nets. Application and Theory of Petri Nets 1992: 134-153 - [i2]Jörg Desel, Wolfgang Reisig:
The synthesis problem of Petri nets. Forschungsberichte, TU Munich TUM I 9231: 1-29 (1992) - 1991
- [c6]Jörg Desel, Javier Esparza
:
Reachability in Reversible Free Choice Systems. STACS 1991: 384-397 - [c5]Eike Best, Ludmila Cherkasova, Jörg Desel:
Compositional Generation of Home States in Free Choice Systems. STACS 1991: 398-409 - 1990
- [j1]Eike Best, Jörg Desel:
Partial Order Behaviour and Structure of Petri Nets. Formal Aspects Comput. 2(2): 123-138 (1990) - [c4]Jörg Desel:
On abstraction of nets. Applications and Theory of Petri Nets 1990: 78-92 - [c3]Jörg Desel:
Reduction and Design of Well-behaved Concurrent Systems. CONCUR 1990: 166-181 - [i1]Jörg Desel, Javier Esparza:
Reachability in reversible free-choice systems. Forschungsberichte, TU Munich TUM I 9023: 1-35 (1990)
1980 – 1989
- 1989
- [c2]Jörg Desel, Agathe Merceron:
Vicinity respecting net morphisms. Applications and Theory of Petri Nets 1989: 165-185 - 1988
- [c1]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
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint