| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser |
Modeling and Mining of Learnflows.  |
T. Petri Nets and Other Models of Concurrency  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kais Klai, Samir Tata, Jörg Desel |
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. |
Data Knowl. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Bergenthum, Jörg Desel, Sebastian Mauser |
Workflow Nets with Roles. |
EMISA |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Agathe Merceron |
Vicinity Respecting Homomorphisms for Abstracting System Requirements. |
T. Petri Nets and Other Models of Concurrency |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Alex Yakovlev |
Introduction. |
ACSD/Petri Nets Workshops |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Leo von Klenze |
AMSEL - ein Lernsystem zum Algorithmenentwurf. |
DeLFI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser |
Executability of scenarios in Petri nets. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Bergenthum, Jörg Desel, Sebastian Mauser |
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
Partial Order Behavior, Region Theory, Petri Net, Synthesis Algorithm |
| 1 | Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz |
Construction of Process Models from Example Runs. |
T. Petri Nets and Other Models of Concurrency |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz |
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Juhás, Robert Lorenz, Jörg Desel |
Unifying Petri Net Semantics with Token Flows. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kais Klai, Samir Tata, Jörg Desel |
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. |
BPM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli |
Schedulability Analysis of Petri Nets Based on Structural Properties. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser |
Synthesis of Petri Nets from Finite Partial Languages. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser |
Synthesis of Petri Nets from Scenarios with VipTool. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser |
Synthesis of Petri nets from infinite partial languages. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
From Human Knowledge to Process Models. |
UNISCON |
2008 |
DBLP DOI BibTeX RDF |
Petri nets, Synthesis, Business Process Modelling |
| 1 | Jörg Desel, Christian Neumair |
Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. |
DDI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser |
Learnflow Mining. |
DeLFI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Dorothea Iglezakis |
Hilfreiche Hilfe? - Adaptives Learning-on-Demand. |
DeLFI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser |
Synthesis of Petri Nets from Finite Partial Languages. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Controlling Petri Net Process Models. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser |
Process Mining Based on Regions of Languages. |
BPM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz |
Can I Execute My Scenario in Your Net? VipTool Tells You! |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel |
Schedulability Analysis of Petri Nets Based on Structural Properties. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Petri Net Model Synthesis from Scenarios. |
MBEES |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel |
Process Modeling Using Petri Nets. |
Process-Aware Information Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gabriel Juhás, Robert Lorenz, Jörg Desel |
Can I Execute My Scenario in Your Net?. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Ulrich Frank (eds.) |
Enterprise Modelling and Information Systems Architectures, Proceedings of the Workshop in Klagenfurt, October 24-25, 2005 |
EMISA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Martin Wessner |
Bericht aus der Fachgruppe E-Learning. |
i-com |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Gabriel Juhás, Christian Neumair |
Finite Unfoldings of Unbounded Petri Nets. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper (eds.) |
Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report |
SoftSpez Final Report |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel |
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Barbara Pernici, Mathias Weske (eds.) |
Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004. Proceedings |
Business Process Management |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.) |
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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Gabriel Juhás, Robert Lorenz |
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorothea Tippe, Jörg Desel |
Potentiale Virtueller Lerngruppen aus Sicht der Psychologie. |
KI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Arndt Bode, Jörg Desel, Sabine Rathmeyer, Martin Wessner (eds.) |
DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei München |
DeLFI |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Thomas Erwin |
Quantitative Engineering of Business Processes with VIP business. |
Petri Net Technology for Communication-Based Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair |
Modelling and Validation with VipTool. |
Business Process Management |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Vesna Milijic, Christian Neumair |
Model Validation in Controller Design. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Model Validation - A Theoretical Issue? |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler |
On the semantics of EPCs: A vicious circle. |
EPK |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Mathias Weske (eds.) |
Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam |
Promise |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel |
Tutorium: Validierung und Verifikation von Prozessmodellen. |
Promise |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Gabriel Juhás, Robert Lorenz |
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel (eds.) |
Das ist Informatik |
|
2001 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Gabriel Juhás, Robert Lorenz |
Petri Nets over Partial Algebra. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Gabriel Juhás |
''What Is a Petri Net?''. |
Unifying Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Wer will virtuell lehren? Wer will virtuell lernen? |
GI Jahrestagung |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Gabriel Juhás, Robert Lorenz |
Process Semantics of Petri Nets over Partial Algebra. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Teaching system modeling, simulation and validation. |
Winter Simulation Conference |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis (eds.) |
Business Process Management, Models, Techniques, and Empirical Studies |
Business Process Management |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel |
Validation of Process Models by Construction of Process Nets. |
Business Process Management |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Thomas Erwin |
Modeling, Simulation and Analysis of Business Processes. |
Business Process Management |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferucio Laurentiu Tiplea, Jörg Desel |
Petri Net Process Decomposition with Application to Validation. |
AWPN |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Andreas Oberweis (eds.) |
6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11. - 12., 1999 |
AWPN |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Thomas Erwin, Wolffried Stucky |
Simulation und Leistungsbewertung von Geschäftsprozessen. |
EMISA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Klaus Pohl, Andy Schürr (eds.) |
Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe |
Modellierung |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Manuel Silva (eds.) |
Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings |
ICATPN |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Ekkart Kindler |
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
verification, Petri nets, Distributed algorithms, temporal logic |
| 1 | Jörg Desel |
Petrinetze als Grundlage der Ablaufmodellierung. |
Modellierung |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel |
How Distributed Algorithms Play the Token Game. |
Foundations of Computer Science: Potential - Theory - Cognition |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Horst Reichel |
Workshop: Grundlagen der Parallelität. |
GI Jahrestagung |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, K.-P. Neuendorf, M.-D. Radola |
Proving Nonreachability by Modulo-Invariants. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Wolfgang Reisig |
The Synthesis Problem of Petri Nets. |
Acta Inf. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Andreas Oberweis |
Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven. |
Wirtschaftsinformatik |
1996 |
DBLP BibTeX RDF |
|
| 1 | Jörg Desel, Wolfgang Reisig |
Place or Transition Petri Nets. |
Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Basic Linear Algebraic Techniques for Place or Transition Nets. |
Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter |
A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Proving Non-Reachabililty by Modulo-Place-Invariants. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
Petri nets, Invariants, Reachability analysis |
| 1 | Jörg Desel, Javier Esparza |
Reachability in Cyclic Extended Free-Choice Systems. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Regular Marked Petri Nets. |
WG |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Javier Esparza |
Shortest Paths in Reachability Graphs. |
Application and Theory of Petri Nets |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel, Wolfgang Reisig |
The Synthesis Problem of Petri Nets. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best, Ludmila Cherkasova, Jörg Desel |
Compositional Generation of Home States in Free Choice Nets. |
Formal Asp. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best, Jörg Desel, Javier Esparza |
Traps Characterize Home States in Free Choice Systems. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Struktur und Analyse von Free-Choice-Petrinetzen. |
|
1992 |
RDF |
|
| 1 | Jörg Desel |
A Proof of the Rank Theorem for Extended Free Choice Nets. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
free choice nets - analysis, structure and behaviour of nets |
| 1 | Eike Best, Ludmila Cherkasova, Jörg Desel |
Compositional Generation of Home States in Free Choice Systems. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
Free Choice Petri Nets, Home States, Cyclic Behaviour, Compositionality, Reversibility |
| 1 | Jörg Desel, Javier Esparza |
Reachability in Reversible Free Choice Systems. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best, Jörg Desel |
Partial Order Behaviour and Structure of Petri Nets. |
Formal Asp. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
Reduction and Design of Well-behaved Concurrent Systems. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Desel |
On abstraction of nets. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
Net morphisms, coarsening and composition of nets, transformations |
| 1 | Jörg Desel, Agathe Merceron |
Vicinity respecting net morphisms. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
Net morphisms, synthesis and structure of nets, coarsening and composition of nets |
| 1 | Jörg Desel, Agathe Merceron |
P/T-systems as abstractions of C/E-systems. |
European Workshop on Applications and Theory in Petri Nets |
1988 |
DBLP DOI BibTeX RDF |
Relations between Condition/Event-systems and Place/Transition-systems, synchronic distance, simulation, abstraction |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")