Jörg Desel

Affiliations:
  • University of Hagen, Germany


According to our database1, Jörg Desel authored at least 106 papers between 1988 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The Square Petri Net.
Proceedings of the Workshop Petri Net Games, 2024

2023
Symbolic Observation Graph-Based Generation of Test Paths.
Proceedings of the Tests and Proofs - 17th International Conference, 2023

ILP<sup>2</sup> Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022
GI entwickelt Empfehlungen zur Gestaltung von Data-Science-Masterstudiengängen.
Datenbank-Spektrum, 2022

The Chameleon Game.
Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

2021
AsTRA - An Assessment Tool for Recognition and Adaptation of Prior Professional Experience and Vocational Training.
Proceedings of the Digital Transformation of Education and Learning - Past, Present and Future, 2021

2020
Stop-transitions of Petri Nets.
Fundam. Informaticae, 2020

Modellieren lehren - Lehren modellieren (Extended Abstract) (Teaching Modeling - Model Teaching).
Proceedings of the Companion Proceedings of Modellierung 2020 Short, 2020

Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019
Negotiation as concurrency primitive.
Acta Informatica, 2019

Can a Single Transition Stop an Entire Net?
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, 2019

Carl Adam Petri's Synchronic Distance.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018
Specialisation and Generalisation of Processes.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

2017
Die Entwicklung neuer GI-Empfehlungen für Informatik-Studiengänge.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016
Negotiations and Petri Nets.
Trans. Petri Nets Other Model. Concurr., 2016

Synthesis of Elementary Net Systems with Final Configurations.
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, 2016

2015
The concepts of Petri nets.
Softw. Syst. Model., 2015

Internet der Zukunft - sicher, schnell, vertrauenswürdig.
Inform. Spektrum, 2015

Preface.
Fundam. Informaticae, 2015

Observable liveness of Petri nets.
Acta Informatica, 2015

Negotiation Programs.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014
Konzepte der Petrinetze.
Inform. Spektrum, 2014

Petrinetze.
Inform. Spektrum, 2014

On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations.
Proceedings of the Foundations of Software Science and Computation Structures, 2014

Analyzing a TCP/IP-Protocol with Process Mining Techniques.
Proceedings of the Business Process Management Workshops, 2014

Observable Liveness.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013
Models from Scenarios.
Trans. Petri Nets Other Model. Concurr., 2013

On Negotiation as Concurrency Primitive.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

On Cyclic Behaviour of Unbounded Petri Nets.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
Aggregating Causal Runs into Workflow Nets.
Trans. Petri Nets Other Model. Concurr., 2012

Modeling and Mining of Learnflows.
Trans. Petri Nets Other Model. Concurr., 2012

Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.
Proceedings of the Formal Techniques for Distributed Systems, 2012

2011
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes.
Data Knowl. Eng., 2011

Workflow Nets with Roles.
Proceedings of the Enterprise Modelling and Information Systems Architectures: Proceedings of the 4th International Workshop on Enterprise Modelling and Information Systems Architectures, 2011

2010
Vicinity Respecting Homomorphisms for Abstracting System Requirements.
Trans. Petri Nets Other Model. Concurr., 2010

AMSEL - ein Lernsystem zum Algorithmenentwurf.
Proceedings of the DeLFI 2010, 2010

Introduction.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009
Construction of Process Models from Example Runs.
Trans. Petri Nets Other Model. Concurr., 2009

Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.
Trans. Petri Nets Other Model. Concurr., 2009

Executability of scenarios in Petri nets.
Theor. Comput. Sci., 2009

Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages.
Fundam. Informaticae, 2009

Unifying Petri Net Semantics with Token Flows.
Proceedings of the Applications and Theory of Petri Nets, 2009

2008
Schedulability Analysis of Petri Nets Based on Structural Properties.
Fundam. Informaticae, 2008

Synthesis of Petri Nets from Finite Partial Languages.
Fundam. Informaticae, 2008

Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen.
Proceedings of the Didaktik der Informatik, 2008

From Human Knowledge to Process Models.
Proceedings of the Information Systems and e-Business Technologies, 2008

Driving situation analysis in automotive environment.
Proceedings of the IEEE International Conference on Vehicular Electronics and Safety, 2008

Hilfreiche Hilfe? - Adaptives Learning-on-Demand.
Proceedings of the DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 07., 2008

Learnflow Mining.
Proceedings of the DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 07., 2008

Synthesis of Petri Nets from Scenarios with VipTool.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

Synthesis of Petri nets from infinite partial languages.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007
Controlling Petri Net Process Models.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Process Mining Based on Regions of Languages.
Proceedings of the Business Process Management, 5th International Conference, 2007

2006
Petri Net Model Synthesis from Scenarios.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Can I Execute My Scenario in Your Net? VipTool Tells You!
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
Can I Execute My Scenario in Your Net?.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Process Modeling Using Petri Nets.
Proceedings of the Process-Aware Information Systems: Bridging People and Software Through Process Technology, 2005

2004
Bericht aus der Fachgruppe E-Learning.
i-com, 2004

A Guide to Modelling and Control with Modules of Signal Nets.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Finite Unfoldings of Unbounded Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
Potentiale Virtueller Lerngruppen aus Sicht der Psychologie.
Künstliche Intell., 2003

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Referenzmodellierung 2003 (RefMod2003).
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

Quantitative Engineering of Business Processes with VIP business.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Modelling and Validation with VipTool.
Proceedings of the Business Process Management, International Conference, 2003

Model Validation in Controller Design.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
On the semantics of EPCs: A vicious circle.
Proceedings of the EPK 2002, 2002

Tutorium: Validierung und Verifikation von Prozessmodellen.
Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002

Model Validation - A Theoretical Issue?
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Wer will virtuell lehren? Wer will virtuell lernen?
Proceedings of the Tagungsband der GI/OCG-Jahrestagung - 31. Jahrestagung der Gesellschaft für Informatik, Wirtschaft und Wissenschaft in der Network Economy, 2001

Petri Nets over Partial Algebra.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

''What Is a Petri Net?''.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000
Teaching system modeling, simulation and validation.
Proceedings of the 32nd conference on Winter simulation, 2000

Modeling, Simulation and Analysis of Business Processes.
Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

Validation of Process Models by Construction of Process Nets.
Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

Process Semantics of Petri Nets over Partial Algebra.
Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999
Simulation und Leistungsbewertung von Geschäftsprozessen.
Proceedings of the Entwicklungsmethoden für Informationssysteme und deren Anwendung, 1999

Petri Net Process Decomposition with Application to Validation.
Proceedings of the 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11., 1999

1998
Petrinetze als Grundlage der Ablaufmodellierung.
Proceedings of the Modellierung '98, 1998

Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997
Workshop: Grundlagen der Parallelität.
Proceedings of the Informatik '97, 1997

How Distributed Algorithms Play the Token Game.
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996
Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven.
Wirtschaftsinf., 1996

Proving Nonreachability by Modulo-Invariants.
Theor. Comput. Sci., 1996

The Synthesis Problem of Petri Nets.
Acta Informatica, 1996

Place or Transition Petri Nets.
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

Basic Linear Algebraic Techniques for Place or Transition Nets.
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995
Shortest Paths in Reachability Graphs.
J. Comput. Syst. Sci., 1995

A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards.
Inf. Process. Lett., 1995

1994
Proving Non-Reachabililty by Modulo-Place-Invariants.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1993
Reachability in Cyclic Extended Free-Choice Systems.
Theor. Comput. Sci., 1993

Regular Marked Petri Nets.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1993

1992
Traps Characterize Home States in Free Choice Systems.
Theor. Comput. Sci., 1992

Compositional Generation of Home States in Free Choice Nets.
Formal Aspects Comput., 1992

A Proof of the Rank Theorem for Extended Free Choice Nets.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

Struktur und Analyse von Free-Choice-Petrinetzen.
DUV Informatik, Deutscher Universitätsverlag, ISBN: 978-3-8244-2030-8, 1992

1991
Compositional Generation of Home States in Free Choice Systems.
Proceedings of the STACS 91, 1991

1990
Reachability in reversible free-choice systems
Forschungsberichte, TU Munich, 1990

Partial Order Behaviour and Structure of Petri Nets.
Formal Aspects Comput., 1990

Reduction and Design of Well-behaved Concurrent Systems.
Proceedings of the CONCUR '90, 1990

On abstraction of nets.
Proceedings of the Advances in Petri Nets 1991, 1990

1989
Vicinity respecting net morphisms.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988
P/T-systems as abstractions of C/E-systems.
Proceedings of the Advances in Petri Nets 1989, 1988


  Loading...