Jörg Desel

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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.
T. Petri Nets and Other Models of Concurrency, 2016

Negotiation as Concurrency Primitive.
CoRR, 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.
Software and System Modeling, 2015

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

Preface.
Fundam. Inform., 2015

Observable liveness of Petri nets.
Acta Inf., 2015

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

Negotiations and Petri Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
Konzepte der Petrinetze.
Informatik Spektrum, 2014

Petrinetze.
Informatik Spektrum, 2014

On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations.
CoRR, 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 and Other Models of Concurrency, 2013

On Negotiation as Concurrency Primitive.
CoRR, 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 and Other Models of Concurrency, 2012

Modeling and Mining of Learnflows.
Trans. Petri Nets and Other Models of Concurrency, 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

Specialisation and Generalisation of Processes.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010
Vicinity Respecting Homomorphisms for Abstracting System Requirements.
Trans. Petri Nets and Other Models of Concurrency, 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 and Other Models of Concurrency, 2009

Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language.
Trans. Petri Nets and Other Models of Concurrency, 2009

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

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

Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes.
Proceedings of the Business Process Management, 7th International Conference, 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. Inform., 2008

Synthesis of Petri Nets from Finite Partial Languages.
Fundam. Inform., 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

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

Synthesis of Petri Nets from Finite Partial Languages.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 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

Schedulability Analysis of Petri Nets Based on Structural Properties.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 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.
KI, 2003

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders.
Electr. Notes Theor. Comput. Sci., 2003

Referenzmodellierung 2003 (RefMod2003).
Proceedings of the INFORMATIK 2003 - Innovative Informatikanwendungen, Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September, 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.
Electr. Notes Theor. Comput. Sci., 2001

Wer will virtuell lehren? Wer will virtuell lernen?
GI Jahrestagung (2), 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, WSC 2000, 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.
ICATPN, 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.
Wirtschaftsinformatik, 1996

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

The Synthesis Problem of Petri Nets.
Acta Inf., 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

The Synthesis Problem of Petri Nets.
Proceedings of the STACS 93, 1993

Shortest Paths in Reachability Graphs.
Proceedings of the Application and Theory of Petri Nets 1993, 1993

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

Compositional Generation of Home States in Free Choice Nets.
Formal Asp. 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
Reachability in Reversible Free Choice Systems.
Proceedings of the STACS 91, 1991

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

1990
Partial Order Behaviour and Structure of Petri Nets.
Formal Asp. 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...