Jörg Desel - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Symbolic abstraction and deadlock-freeness verification of inter-enterprise processesKais Klai, Samir Tata, Jörg Desel. DKE, 70(5):467-482, 2011. [doi]

2010

AMSEL - ein Lernsystem zum AlgorithmenentwurfJörg Desel, Leo von Klenze. delfi 2010: 33-44

Vicinity Respecting Homomorphisms for Abstracting System RequirementsJörg Desel, Agathe Merceron. topnoc, 4:1-20, 2010. [doi]

2009

2008

Synthesis of Petri nets from infinite partial languagesRobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser. acsd 2008: 170-179 [doi]

Learnflow MiningRobin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser. delfi 2008: 269-280

Synthesis of Petri Nets from Finite Partial LanguagesRobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser. FUIN, 88(4):437-468, 2008. [doi]

Synthesis of Petri Nets from Scenarios with VipToolRobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser. apn 2008: 388-398 [doi]

Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von AlgorithmenJörg Desel, Christian Neumair. schule 2008: 151-152

Hilfreiche Hilfe? - Adaptives Learning-on-DemandJörg Desel, Dorothea Iglezakis. delfi 2008: 293-304

From Human Knowledge to Process ModelsJörg Desel. ista 2008: 84-95 [doi]

Schedulability Analysis of Petri Nets Based on Structural PropertiesCong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli. FUIN, 86(3):325-341, 2008. [doi]

2007

Process Mining Based on Regions of LanguagesRobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser. BPM 2007: 375-383 [doi]

Controlling Petri Net Process ModelsJörg Desel. wsfm 2008: 17-30 [doi]

Synthesis of Petri Nets from Finite Partial LanguagesRobert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser. acsd 2007: 157-166 [doi]

2006

Can I Execute My Scenario in Your Net? VipTool Tells You!Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz. apn 2006: 381-390 [doi]

Petri Net Model Synthesis from ScenariosJörg Desel. mbees 2006: 19-26 [doi]

Schedulability Analysis of Petri Nets Based on Structural PropertiesCong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel. acsd 2006: 69-78 [doi]

2005

Enterprise Modelling and Information Systems Architectures, Proceedings of the Workshop in Klagenfurt, October 24-25, 2005Jörg Desel, Ulrich Frank, editors, Volume 75 of LNI, GI, 2005.

Can I Execute My Scenario in Your Net?Gabriel Juhás, Robert Lorenz, Jörg Desel. apn 2005: 289-308 [doi]

2004

Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004. ProceedingsJörg Desel, Barbara Pernici, Mathias Weske, editors, Volume 3080 of Lecture Notes in Computer Science, Springer, 2004.

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, additionaJörg Desel, Wolfgang Reisig, Grzegorz Rozenberg, editors, Volume 3098 of Lecture Notes in Computer Science, Springer, 2004.

A Guide to Modelling and Control with Modules of Signal NetsJörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair. dfg 2004: 270-300 [doi]

Finite Unfoldings of Unbounded Petri NetsJörg Desel, Gabriel Juhás, Christian Neumair. apn 2004: 157-176 [doi]

Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in EngineeringJörg Desel. dfg 2004: 199-205 [doi]

Bericht aus der Fachgruppe E-LearningJörg Desel, Martin Wessner. icom, 3(2):68-69, 2004. [doi]

Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final ReportHartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper, editors, Volume 3147 of Lecture Notes in Computer Science, Springer, 2004.

2003

Referenzmodellierung 2003 (RefMod2003)Jörg Becker, Jörg Desel, Ulrich Frank, Stefan Kirn, Helmut Krcmar, Peter Loos, Markus Nüttgens, Michael Rohloff, Reinhard Schütte. gi 2003: 232

DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei MünchenArndt Bode, Jörg Desel, Sabine Rathmeyer, Martin Wessner, editors, Volume 37 of LNI, GI, 2003.

Quantitative Engineering of Business Processes with VIP businessJörg Desel, Thomas Erwin. dfg 2003: 219-242 [doi]

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial ordersJörg Desel, Gabriel Juhás, Robert Lorenz. ENTCS, 82(7), 2003. [doi]

Modelling and Validation with VipToolJörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair. BPM 2003: 380-389 [doi]

Model Validation in Controller DesignJörg Desel, Vesna Milijic, Christian Neumair. ac 2004: 467-495 [doi]

Potentiale Virtueller Lerngruppen aus Sicht der PsychologieDorothea Tippe, Jörg Desel. ki, 17(1):40, 2003.

2002

Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, PotsdamJörg Desel, Mathias Weske, editors, Volume 21 of LNI, GI, 2002.

Tutorium: Validierung und Verifikation von ProzessmodellenJörg Desel. emisa 2002: 78-80

Model Validation - A Theoretical Issue?Jörg Desel. apn 2002: 23-43 [doi]

On the semantics of EPCs: A vicious circleWil M. P. van der Aalst, Jörg Desel, Ekkart Kindler. epk 2002: 71-79 [doi]

2001

Das ist InformatikJörg Desel, editor, Springer, 2001.

What Is a Petri Net? Jörg Desel, Gabriel Juhás. apn 2001: 1-25 [doi]

Wer will virtuell lehren? Wer will virtuell lernen?Jörg Desel. gi 2001: 1093-1098

Petri Nets over Partial AlgebraJörg Desel, Gabriel Juhás, Robert Lorenz. apn 2001: 126-172 [doi]

Unifying Petri Nets with Restricted Occurrence Rule Using Partial AlgebraJörg Desel, Gabriel Juhás, Robert Lorenz. ENTCS, 44(4), 2001. [doi]

2000

Process Semantics of Petri Nets over Partial AlgebraJörg Desel, Gabriel Juhás, Robert Lorenz. apn 2000: 146-165 [doi]

Teaching system modeling, simulation and validationJörg Desel. wsc 2000: 1669-1675 [doi]

Validation of Process Models by Construction of Process NetsJörg Desel. BPM 2000: 110-128 [doi]

Modeling, Simulation and Analysis of Business ProcessesJörg Desel, Thomas Erwin. BPM 2000: 129-141 [doi]

Business Process Management, Models, Techniques, and Empirical StudiesWil M. P. van der Aalst, Jörg Desel, Andreas Oberweis, editors, Volume 1806 of Lecture Notes in Computer Science, Springer, 2000.

1999

6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 99), Frankfurt, Germany, October 11. - 12., 1999Jörg Desel, Andreas Oberweis, editors, Volume 26 of CEUR Workshop Proceedings, CEUR-WS.org, 1999.

Simulation und Leistungsbewertung von GeschäftsprozessenJörg Desel, Thomas Erwin, Wolffried Stucky. emisa 1999: 127-146

Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in KarlsruheJörg Desel, Klaus Pohl, Andy Schürr, editors, Teubner, 1999.

Petri Net Process Decomposition with Application to ValidationFerucio Laurentiu Tiplea, Jörg Desel. awpn 1999: [doi]

1998

Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN 98, Lisbon, Portugal, June 22-26, 1998, ProceedingsJörg Desel, Manuel Silva, editors, Volume 1420 of Lecture Notes in Computer Science, Springer, 1998.

Petrinetze als Grundlage der AblaufmodellierungJörg Desel. modellierung 1998: [doi]

Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case StudyJörg Desel, Ekkart Kindler. acsd 1998: 177-186 [doi]

1997

Workshop: Grundlagen der ParallelitätJörg Desel, Horst Reichel. gi 1997: 626

How Distributed Algorithms Play the Token GameJörg Desel. BIRTHDAY 1997: 297-306 [doi]

1996

Place or Transition Petri NetsJörg Desel, Wolfgang Reisig. ac 1998: 122-173

The Synthesis Problem of Petri NetsJörg Desel, Wolfgang Reisig. ACTA, 33(4):297-315, 1996.

Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und PerspektivenJörg Desel, Andreas Oberweis. wi, 38(4):359-367, 1996.

Proving Nonreachability by Modulo-InvariantsJörg Desel, K.-P. Neuendorf, M.-D. Radola. TCS, 153(1&2):49-64, 1996. [doi]

Basic Linear Algebraic Techniques for Place or Transition NetsJörg Desel. ac 1998: 257-308

1995

A Simplified Proof for a Self-Stabilizing Protocol: A Game of CardsJörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter. ipl, 54(6):327-328, 1995. [doi]

1994

Proving Non-Reachabililty by Modulo-Place-InvariantsJörg Desel. fsttcs 1994: 366-377

1993

Regular Marked Petri NetsJörg Desel. criwg 1994: 264-275

Reachability in Cyclic Extended Free-Choice SystemsJörg Desel, Javier Esparza. TCS, 114(1):93-118, 1993.

The Synthesis Problem of Petri NetsJörg Desel, Wolfgang Reisig. STACS 1993: 120-129

Shortest Paths in Reachability GraphsJörg Desel, Javier Esparza. apn 1993: 224-241

1992

Traps Characterize Home States in Free Choice SystemsEike Best, Jörg Desel, Javier Esparza. TCS, 101(2):161-176, 1992.

Compositional Generation of Home States in Free Choice NetsEike Best, Ludmila Cherkasova, Jörg Desel. fac, 4(6):572-581, 1992.

A Proof of the Rank Theorem for Extended Free Choice NetsJörg Desel. apn 1992: 134-153

Struktur und Analyse von Free-Choice-PetrinetzenJörg Desel. DUV Informatik, Deutscher Universitätsverlag, 1992.

1991

Compositional Generation of Home States in Free Choice SystemsEike Best, Ludmila Cherkasova, Jörg Desel. STACS 1991: 398-409

Reachability in Reversible Free Choice SystemsJörg Desel, Javier Esparza. STACS 1991: 384-397

1990

Partial Order Behaviour and Structure of Petri NetsEike Best, Jörg Desel. fac, 2(2):123-138, 1990.

On abstraction of netsJörg Desel. apn 1991: 78-92

Reduction and Design of Well-behaved Concurrent SystemsJörg Desel. concur 1990: 166-181

1989

Vicinity respecting net morphismsJörg Desel, Agathe Merceron. apn 1991: 165-185

1988

P/T-systems as abstractions of C/E-systemsJörg Desel, Agathe Merceron. apn 1990: 105-127