Jörg Desel - RankMe

141 papers A 10B 13C 1Misc 1Journal 38Unranked 58

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Composing Chameleons. PNSE/ATAED/PeNGE@PETRI NETS Jörg Desel
2025	—	`ed.`	Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED'25), and Petri Net Games, Examples and Quizzes for Education, Contest and Fun (PeNGE'25) co-located with PETRI NETS 2025, June 23 - 24, 2025, Paris, France. PNSE/ATAED/PeNGE@PETRI NETS Michael Köhler-Bußmeier, Daniel Moldt, Heiko Rölke, Robin Bergenthum, Andrey Rivkin, Jan Martijn E. M. van der Werf, Jörg Desel, Laure Petrucci
2025	—	`conf`	Modeling Distributed Systems and Processes with Petri Nets - the Big Picture. PNSE/ATAED/PeNGE@PETRI NETS Jörg Desel, Julia Fleischer
2024	—	`ed.`	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. PeNGE@Petri Nets Jörg Desel, Laure Petrucci
2024	—	`conf`	The Square Petri Net. PeNGE@Petri Nets Jörg Desel, Julia Fleischer, Moritz Sommer
2023	B	`conf`	ILP Petri Nets Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár
2023	C	`conf`	Symbolic Observation Graph-Based Generation of Test Paths. TAP Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi
2022	J	`jnl`	GI entwickelt Empfehlungen zur Gestaltung von Data-Science-Masterstudiengängen. Datenbank-Spektrum Jörg Desel, Daniel Krupka, Julia Meisner
2022	—	`conf`	The Chameleon Game. PNSE@Petri Nets Jörg Desel
2021	—	`conf`	AsTRA - An Assessment Tool for Recognition and Adaptation of Prior Professional Experience and Vocational Training. OCCE Simone Opel, Cajus Marian Netzer, Jörg Desel
2020	B	`conf`	Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets. Petri Nets Jörg Desel, Marc Finthammer, Andrea Frank
2020	—	`conf`	Modellieren lehren - Lehren modellieren (Extended Abstract) (Teaching Modeling - Model Teaching). Modellierung (Companion) Jörg Desel
2020	J	`jnl`	Stop-transitions of Petri Nets. Fundam. Informaticae Jörg Desel, Marc Finthammer
2019	—	`conf`	Can a Single Transition Stop an Entire Net? ATAED@Petri Nets/ACSD Jörg Desel
2019	—	`ch.`	Carl Adam Petri's Synchronic Distance. Carl Adam Petri: Ideas, Personality, Impact Jörg Desel
2019	J	`jnl`	Negotiation as concurrency primitive. Acta Informatica Jörg Desel, Javier Esparza, Philipp Hoffmann
2018	J	`jnl`	Specialisation and Generalisation of Processes. Enterp. Model. Inf. Syst. Archit. Christine Choppy, Jörg Desel, Laure Petrucci
2017	—	`conf`	Die Entwicklung neuer GI-Empfehlungen für Informatik-Studiengänge. GI-Jahrestagung Jörg Desel
2017	B	`conf`	travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. Petri Nets Benjamin Meis, Robin Bergenthum, Jörg Desel
2016	—	`ed.`	16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016 ACSD Jörg Desel, Alex Yakovlev
2016	J	`jnl`	Negotiation as Concurrency Primitive. CoRR Jörg Desel, Javier Esparza, Philipp Hoffmann
2016	J	`jnl`	Negotiations and Petri Nets. Trans. Petri Nets Other Model. Concurr. Jörg Desel, Javier Esparza
2016	—	`conf`	Synthesis of Elementary Net Systems with Final Configurations. ATAED@Petri Nets/ACSD Benjamin Meis, Robin Bergenthum, Jörg Desel
2016	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency XI Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Jörg Desel, Jetty Kleijn
2015	J	`jnl`	Internet der Zukunft - sicher, schnell, vertrauenswürdig. Inform. Spektrum Hannes Federrath, Jörg Desel, Albert Endres, Patrick Stoll
2015	B	`conf`	Negotiation Programs. Petri Nets Javier Esparza, Jörg Desel
2015	—	`conf`	Negotiations and Petri Nets. PNSE @ Petri Nets Jörg Desel, Javier Esparza
2015	J	`jnl`	Observable liveness of Petri nets. Acta Informatica Jörg Desel, Görkem Kilinç
2015	J	`jnl`	Preface. Fundam. Informaticae José Manuel Colom, Jörg Desel, Jetty Kleijn
2015	J	`jnl`	The concepts of Petri nets. Softw. Syst. Model. Jörg Desel, Wolfgang Reisig
2015	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency X Trans. Petri Nets and Other Models of Concurrency Maciej Koutny, Jörg Desel, Serge Haddad
2014	—	`conf`	Analyzing a TCP/IP-Protocol with Process Mining Techniques. Business Process Management Workshops Christian Wakup, Jörg Desel
2014	J	`jnl`	Konzepte der Petrinetze. Inform. Spektrum Wolfgang Reisig, Jörg Desel
2014	—	`conf`	Observable Liveness. PNSE @ Petri Nets Jörg Desel, Görkem Kilinç
2014	B	`conf`	On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. FoSSaCS Javier Esparza, Jörg Desel
2014	J	`jnl`	On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. CoRR Javier Esparza, Jörg Desel
2014	J	`jnl`	Petrinetze. Inform. Spektrum Jörg Desel, Wolfgang Reisig
2013	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings Petri Nets José Manuel Colom, Jörg Desel
2013	J	`jnl`	Models from Scenarios. Trans. Petri Nets Other Model. Concurr. Robert Lorenz, Jörg Desel, Gabriel Juhás
2013	—	`conf`	On Cyclic Behaviour of Unbounded Petri Nets. ACSD Jörg Desel
2013	B	`conf`	On Negotiation as Concurrency Primitive. CONCUR Javier Esparza, Jörg Desel
2013	J	`jnl`	On Negotiation as Concurrency Primitive. CoRR Javier Esparza, Jörg Desel
2012	J	`jnl`	Aggregating Causal Runs into Workflow Nets. Trans. Petri Nets Other Model. Concurr. Boudewijn F. van Dongen, Jörg Desel, Wil M. P. van der Aalst
2012	—	`conf`	Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs. FMOODS/FORTE Kais Klai, Jörg Desel
2012	—	`ed.`	DeLFI 2012 - Die 10. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 24.-26. September 2012, FernUniversität Hagen DeLFI Jörg Desel, Jörg M. Haake, Christian Spannagel
2012	J	`jnl`	Modeling and Mining of Learnflows. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser
2011	—	`conf`	Aggregating Causal Runs into Workflow Nets. ART @ Petri Nets Boudewijn F. van Dongen, Jörg Desel, Wil M. P. van der Aalst
2011	—	`ed.`	Proceedings of the Workshop Applications of Region Theory 2011, Newcastle upon Tyne, UK, June 21, 2011 ART @ Petri Nets Jörg Desel, Alex Yakovlev
2011	—	`conf`	Specialisation and Generalisation of Processes. PNSE Christine Choppy, Jörg Desel, Laure Petrucci
2011	J	`jnl`	Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. Data Knowl. Eng. Kais Klai, Samir Tata, Jörg Desel
2011	—	`conf`	Workflow Nets with Roles. EMISA Robin Bergenthum, Jörg Desel, Sebastian Mauser
2010	—	`conf`	AMSEL - ein Lernsystem zum Algorithmenentwurf. DeLFI Jörg Desel, Leo von Klenze
2010	—	`conf`	Introduction. ACSD/Petri Nets Workshops Jörg Desel, Alex Yakovlev
2010	J	`jnl`	Vicinity Respecting Homomorphisms for Abstracting System Requirements. Trans. Petri Nets Other Model. Concurr. Jörg Desel, Agathe Merceron
2009	J	`jnl`	Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Jörg Desel, Sebastian Mauser
2009	J	`jnl`	Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
2009	J	`jnl`	Executability of scenarios in Petri nets. Theor. Comput. Sci. Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser
2009	A	`conf`	Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. BPM Kais Klai, Samir Tata, Jörg Desel
2009	J	`jnl`	Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Informaticae Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
2009	B	`conf`	Unifying Petri Net Semantics with Token Flows. Petri Nets Gabriel Juhás, Robert Lorenz, Jörg Desel
2008	—	`conf`	Driving situation analysis in automotive environment. ICVES Andreas Hermann, Jörg Desel
2008	—	`conf`	Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. DDI Jörg Desel, Christian Neumair
2008	—	`conf`	From Human Knowledge to Process Models. UNISCON Jörg Desel
2008	—	`conf`	Hilfreiche Hilfe? - Adaptives Learning-on-Demand. DeLFI Jörg Desel, Dorothea Iglezakis
2008	—	`conf`	Learnflow Mining. DeLFI Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser
2008	J	`jnl`	Schedulability Analysis of Petri Nets Based on Structural Properties. Fundam. Informaticae Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2008	B	`conf`	Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2008	—	`conf`	Synthesis of Petri nets from infinite partial languages. ACSD Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2007	—	`conf`	Controlling Petri Net Process Models. WS-FM Jörg Desel
2007	A	`conf`	Process Mining Based on Regions of Languages. BPM Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2007	—	`conf`	Synthesis of Petri Nets from Finite Partial Languages. ACSD Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser
2006	—	`conf`	Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz
2006	—	`conf`	Petri Net Model Synthesis from Scenarios. MBEES Jörg Desel
2006	—	`conf`	Schedulability Analysis of Petri Nets Based on Structural Properties. ACSD Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel
2005	—	`conf`	Can I Execute My Scenario in Your Net?. ICATPN Gabriel Juhás, Robert Lorenz, Jörg Desel
2005	—	`ed.`	Enterprise Modelling and Information Systems Architectures, Proceedings of the Workshop in Klagenfurt, October 24-25, 2005 EMISA Jörg Desel, Ulrich Frank
2005	—	`ch.`	Process Modeling Using Petri Nets. Process-Aware Information Systems Jörg Desel
2004	—	`conf`	A Guide to Modelling and Control with Modules of Signal Nets. SoftSpez Final Report Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair
2004	J	`jnl`	Bericht aus der Fachgruppe E-Learning. i-com Jörg Desel, Martin Wessner
2004	A	`ed.`	Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004. Proceedings Business Process Management Jörg Desel, Barbara Pernici, Mathias Weske
2004	—	`conf`	Finite Unfoldings of Unbounded Petri Nets. ICATPN Jörg Desel, Gabriel Juhás, Christian Neumair
2004	—	`ed.`	Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report SoftSpez Final Report Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
2004	—	`ed.`	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] Lectures on Concurrency and Petri Nets Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg
2004	—	`conf`	Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. SoftSpez Final Report Jörg Desel
2003	—	`ed.`	DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei München DeLFI Arndt Bode, Jörg Desel, Sabine Rathmayer, Martin Wessner
2003	—	`conf`	Model Validation in Controller Design. Lectures on Concurrency and Petri Nets Jörg Desel, Vesna Milijic, Christian Neumair
2003	A	`conf`	Modelling and Validation with VipTool. Business Process Management Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair
2003	J	`jnl`	Potentiale Virtueller Lerngruppen aus Sicht der Psychologie. Künstliche Intell. Dorothea Tippe, Jörg Desel
2003	—	`conf`	Quantitative Engineering of Business Processes with VIP business. Petri Net Technology for Communication-Based Systems Jörg Desel, Thomas Erwin
2003	—	`conf`	Referenzmodellierung 2003 (RefMod2003). GI Jahrestagung (1) Jörg Becker, Jörg Desel, Ulrich Frank, Stefan Kirn, Helmut Krcmar, Peter Loos, Markus Nüttgens, Michael Rohloff, Reinhard Schütte
2003	—	`conf`	Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. UNIGRA Jörg Desel, Gabriel Juhás, Robert Lorenz
2002	—	`conf`	Model Validation - A Theoretical Issue? ICATPN Jörg Desel
2002	—	`conf`	On the semantics of EPCs: A vicious circle. EPK Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler
2002	—	`ed.`	Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam Promise Jörg Desel, Mathias Weske
2002	—	`conf`	Tutorium: Validierung und Verifikation von Prozessmodellen. Promise Jörg Desel
2001	—	`conf`	''What Is a Petri Net?''. Unifying Petri Nets Jörg Desel, Gabriel Juhás
2001	—	`book`	Das ist Informatik Jörg Desel
2001	—	`conf`	Petri Nets over Partial Algebra. Unifying Petri Nets Jörg Desel, Gabriel Juhás, Robert Lorenz
2001	—	`conf`	Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. UNIGRA Jörg Desel, Gabriel Juhás, Robert Lorenz
2001	—	`conf`	Wer will virtuell lehren? Wer will virtuell lernen? GI Jahrestagung (2) Jörg Desel
2000	—	`ed.`	6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11. - 12., 1999 AWPN Jörg Desel, Andreas Oberweis
2000	A	`ed.`	Business Process Management, Models, Techniques, and Empirical Studies Business Process Management Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis
2000	A	`conf`	Modeling, Simulation and Analysis of Business Processes. Business Process Management Jörg Desel, Thomas Erwin
2000	—	`conf`	Process Semantics of Petri Nets over Partial Algebra. ICATPN Jörg Desel, Gabriel Juhás, Robert Lorenz
2000	Misc	`conf`	Teaching system modeling, simulation and validation. WSC Jörg Desel
2000	A	`conf`	Validation of Process Models by Construction of Process Nets. Business Process Management Jörg Desel
1999	—	`ed.`	Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe Modellierung Jörg Desel, Klaus Pohl, Andy Schürr
1999	—	`conf`	Petri Net Process Decomposition with Application to Validation. AWPN Ferucio Laurentiu Tiplea, Jörg Desel
1999	—	`conf`	Simulation und Leistungsbewertung von Geschäftsprozessen. EMISA Jörg Desel, Thomas Erwin, Wolffried Stucky
1998	—	`ed.`	Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings ICATPN Jörg Desel, Manuel Silva Suárez
1998	—	`conf`	Petrinetze als Grundlage der Ablaufmodellierung. Modellierung Jörg Desel
1998	—	`conf`	Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. ACSD Jörg Desel, Ekkart Kindler
1997	—	`conf`	How Distributed Algorithms Play the Token Game. Foundations of Computer Science: Potential - Theory - Cognition Jörg Desel
1997	—	`conf`	Workshop: Grundlagen der Parallelität. GI Jahrestagung Jörg Desel, Horst Reichel
1996	B	`conf`	Basic Linear Algebraic Techniques for Place or Transition Nets. Petri Nets Jörg Desel
1996	J	`jnl`	Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven. Wirtschaftsinf. Jörg Desel, Andreas Oberweis
1996	B	`conf`	Place or Transition Petri Nets. Petri Nets Jörg Desel, Wolfgang Reisig
1996	J	`jnl`	Proving Nonreachability by Modulo-Invariants. Theor. Comput. Sci. Jörg Desel, Klaus-Peter Neuendorf, M.-D. Radola
1996	J	`jnl`	The Synthesis Problem of Petri Nets. Acta Informatica Jörg Desel, Wolfgang Reisig
1995	J	`jnl`	A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. Inf. Process. Lett. Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter
1995	—	`ed.`	Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995 STRICT Jörg Desel
1995	J	`jnl`	Shortest Paths in Reachability Graphs. J. Comput. Syst. Sci. Jörg Desel, Javier Esparza
1994	—	`conf`	Proving Non-Reachabililty by Modulo-Place-Invariants. FSTTCS Jörg Desel
1993	J	`jnl`	Reachability in Cyclic Extended Free-Choice Systems. Theor. Comput. Sci. Jörg Desel, Javier Esparza
1993	B	`conf`	Regular Marked Petri Nets. WG Jörg Desel
1993	—	`conf`	Shortest Paths in Reachability Graphs. Application and Theory of Petri Nets Jörg Desel, Javier Esparza
1993	A	`conf`	The Synthesis Problem of Petri Nets. STACS Jörg Desel, Wolfgang Reisig
1992	—	`conf`	A Proof of the Rank Theorem for Extended Free Choice Nets. Application and Theory of Petri Nets Jörg Desel
1992	J	`jnl`	Compositional Generation of Home States in Free Choice Nets. Formal Aspects Comput. Eike Best, Ludmila Cherkasova, Jörg Desel
1992	—	`book`	Struktur und Analyse von Free-Choice-Petrinetzen. Jörg Desel
1992	J	`jnl`	The synthesis problem of Petri nets Forschungsberichte, TU Munich Jörg Desel, Wolfgang Reisig
1992	J	`jnl`	Traps Characterize Home States in Free Choice Systems. Theor. Comput. Sci. Eike Best, Jörg Desel, Javier Esparza
1991	A	`conf`	Compositional Generation of Home States in Free Choice Systems. STACS Eike Best, Ludmila Cherkasova, Jörg Desel
1991	A	`conf`	Reachability in Reversible Free Choice Systems. STACS Jörg Desel, Javier Esparza
1990	—	`conf`	On abstraction of nets. Applications and Theory of Petri Nets Jörg Desel
1990	J	`jnl`	Partial Order Behaviour and Structure of Petri Nets. Formal Aspects Comput. Eike Best, Jörg Desel
1990	J	`jnl`	Reachability in reversible free-choice systems Forschungsberichte, TU Munich Jörg Desel, Javier Esparza
1990	B	`conf`	Reduction and Design of Well-behaved Concurrent Systems. CONCUR Jörg Desel
1989	—	`conf`	Vicinity respecting net morphisms. Applications and Theory of Petri Nets Jörg Desel, Agathe Merceron
1988	—	`conf`	P/T-systems as abstractions of C/E-systems. European Workshop on Applications and Theory in Petri Nets Jörg Desel, Agathe Merceron