Veröffentlichungen "Desel, Jörg"

2012

• Bergenthum, Robin ; Desel, Jörg ; Harrer, Andreas ; Mauser, Sebastian:
  Modeling and Mining of Learnflows.
  In: Kleijn, Jetty ; Donatelli, Susanna (Hrsg.): Transactions on Petri Nets and Other Models of Concurrency. - Berlin : Springer, 2012. - (Lecture Notes in Computer Science)
  (Begutachteter Beitrag / peer-reviewed paper)

2009

• Desel, Jörg ; Merceron, Agathe:
  Vicinity respecting homomorphisms for abstracting system requirements.
  2009
  Veranstaltung: Apnoc : International Workshop on Abstractions for Petri Nets and other Models of Concurrency, 22.-23. Juni 2009, Paris, Frankreich.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Synthesis of Petri nets from term based representations of infinite partial languages.
  In: Fundamenta informaticae. 95 (2009) 1. - S. 187-217.
  ISSN 0169-2968
  (Peer-Review-Journal)
• Lorenz, Robert ; Juhás, Gabriel ; Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
  Executability of scenarios in Petri Nets.
  In: Theoretical computer science : the journal of the EATCS. 410 (2009) 12/13. - S. 1190-1216.
  ISSN 0304-3975
  (Peer-Review-Journal)
• Juhás, Gabriel ; Desel, Jörg ; Lorenz, Robert:
  Unifying Petri Net semantics with token flows.
  In: Applications and theory of Petri nets : 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 ; proceedings. - Heidelberg : Springer, 2009. - (Lecture notes in computer science ; 5606)
  ISBN 3-642-02423-8 ; 978-3-642-02423-8
• Klai, Kais ; Tata, Samir ; Desel, Jörg:
  Symbolic abstraction and deadlock freeness verification of inter-enterprise processes.
  In: Dayal, Umeshwar ; Eder, Johann ; Koehler, Jana ; Reijers, Hajo A.: Business process management : 7th international conference, BPM 2009, Ulm, Germany, September 8-10, 2009 ; proceedings. - Berlin ; Heidelberg ; New York : Springer, 2009. - (Lecture notes in computer science ; 5701)
  ISBN 3-642-03847-6 ; 978-3-642-03847-1
  ISSN 0302-9743
• Bergenthum, Robin ; Desel, Jörg ; Harrer, Andreas ; Mauser, Sebastian:
  Modellierung und Mining kollaborativer Learnflows.
  In: Eckleder, Andreas ; Freytag, Thomas (Hrsg.): Algorithmen und Werkzeuge für Petrinetze : proceedings of the 16th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2009 Karlsruhe, Germany, September 25, 2009. - Aachen : Ceur, 2009. - S. 1-8. - (Ceur Workshop Proceedings ; 501)
  ISSN 1613-0073
  (Begutachteter Beitrag / peer-reviewed paper)
• Mauser, Sebastian ; Bergenthum, Robin ; Desel, Jörg ; Klett, Andreas:
  An approach to business process modelling emphasizing the early design phases.
  In: Eckleder, Andreas ; Freytag, Thomas (Hrsg.): Algorithmen und Werkzeuge für Petrinetze : proceedings of the 16th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2009 Karlsruhe, Germany, September 25, 2009. - Aachen : Ceur, 2009. - (Ceur Workshop Proceedings ; 501)
  ISSN 1613-0073
• Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian ; Lorenz, Robert:
  Construction of process models from example runs.
  In: Hutchison, David ; Aalst, Wil M. P. ; Jensen, Kurt ; Kanade, Takeo ; Kittler, Josef ; Kleinberg, Jon M. ; Mattern, Friedemann ; Mitchell, John C. ; Naor, Moni ; Nierstrasz, Oscar ; Pandu Rangan, C. ; Steffen, Bernhard ; Sudan, Madhu ; Terzopoulos, Demetri ; Tygar, Doug ; Vardi, Moshe Y. ; Weikum, Gerhard (Hrsg.): Transactions on Petri Nets and other models of concurrency II : special issue on concurrency in process-aware information systems. - Berlin ; Heidelberg : Springer, 2009. - S. 243-259. - (Lecture notes in computer science ; 5460)
  ISBN 978-3-642-00899-3 ; 978-3-642-00898-6
• Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
  Comparison of different algorithms to synthesize a Petri net from a partial language.
  In: Transactions on Petri nets and other models of concurrency. (2009). - S. 216-243.
  ISSN 1867-7193
• Best, Eike ; Desel, Jörg:
  On the reducibility of persistent Petri nets.
  In: Lodaya, Kamal ; Mukund, Madhavan ; Ramanujam, R. (Hrsg.): Perspecives in concurrency theory. - Himayatnagar : Universities Press India, 2009. - S. 22-34
  ISBN 978-81-7371-652-2
• Best, Eike ; Desel, Jörg:
  On the reducibility of persistent Petri nets.
  In: Perspectives in concurrency theory : a festschrift for P.S. Thiagarajan. - Hyderabad, India : Universities Press, 2009. - S. 22-34
  ISBN 978-143980943-3

2008

• Desel, Jörg:
  Aggregating views for Petri net model construction.
  2008
  Veranstaltung: Workshop des Graduiertenkollegs Konzeptuelle Modellierung von Katastrophenmanagementprozessen, September 2008, Berlin.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Bergenthum, Robin ; Desel, Jörg ; Kölbl, Christian ; Mauser, Sebastian:
  Experimental results on process mining based on regions of languages.
  2008
  Veranstaltung: CHINA 2008, workshop at the Applications and theory of Petri nets : 29th international conference, 23.-27.6. 2008, Xi'an, China.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Desel, Jörg ; Glinz, Martin:
  Modellierung in Lehre und Weiterbildung: Workshop auf der Modellierung 2008 ; Technischer Bericht ifi-2008.04.
  2008
• Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
  Synthesis of Petri nets for business process design.
  2008
  Veranstaltung: Verhaltensmodellierung: Best Practices und neue Erkenntnisse ; Workshop an der Modellierung 2008, 12.-14. März 2008, Berlin.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Desel, Jörg ; Petrucci, Laure:
  Aggregating views for Petri net model construction.
  2008
  Veranstaltung: PNDS-08: workshop at the 29th International Conference on Applications and Theory of Petri Nets, Juni 2008, Xi'an, China.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• 

  Desel, Jörg:
  Modellieren lernen über Formalisieren von Ablaufbeschreibungen.
  2008
  Veranstaltung: Modellierung in Lehre und Weiterbildung: Workshop auf der Modellierung 2008, Berlin, März 2008. Technischer Bericht ifi-2008.04, 13. März 2008, Zürich, Schweiz.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Liu, Cong ; Kondratyev, Alex ; Watanabe, Yosinori ; Desel, Jörg ; Sangiovanni-Vincentelli, Alberto:
  Schedulability analysis of Petri nets based on structural properties.
  In: Fundamenta informaticae. 86 (2008) 3. - S. 325-341.
  ISSN 0169-2968
  (Peer-Review-Journal)
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Synthesis of Petri nets from finite partial languages.
  In: Fundamenta informaticae. 88 (2008) 4. - S. 437-468.
  ISSN 0169-2968
  (Peer-Review-Journal)
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Synthesis of Petri nets from infinite partial languages.
  In: Billington, J. ; Duan, Z. ; Koutny, M. (Hrsg.): Proceedings of the 8th International Conference on Applications of Concurrency to System Design (ACSD). - Los Alamitos, USA : IEEE Computer Society, 2008. - S. 170-179
• Desel, Jörg ; Neumair, Christian:
  Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen.
  In: Brinda, Torsten ; Fothe, M. ; Hubwieser, P. ; Schlüter, K.: Didaktik der Informatik - aktuelle Forschungsergebnisse : 5. Workshop der GI-Fachgruppe "Didaktik der Informatik", 24. - 25.09.2008 an der Universität Erlangen-Nürnberg. - Bonn : Gesellschaft für Informatik, 2008. - S. 151-152. - (GI-Edition : Proceedings ; 135)
  ISBN 978-3-88579-229-1
• Desel, Jörg:
  Controlling Petri Net Process Models.
  In: Dumas, Marlon ; Heckel, Reiko: Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings. - Heidelberg : Springer, 2008. - S. 17-30. - (Lecture notes in computer science ; 4937)
  ISBN 3-540-79229-5 ; 978-3-540-79229-1
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Synthesis of Petri Nets from Scenarios with VipTool.
  In: Hee, Kees Max van: Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23 - 27, 2008 ; proceedings. - Heidelberg : Springer, 2008. - S. 388-398
  ISBN 978-3-540-68746-7 ; 3-540-68745-9 ; 978-3-540-68745-0
• Hermann, Andreas ; Matzka, Stephan ; Desel, Jörg:
  Using a proactive sensor-system in the Distributed Environment Model.
  2008
  Veranstaltung: IEEE International Conference on Vehicular Electronics and Safety, 2008. ICVES 2008., 22.-24. Sept. 2008, Columbus, Ohio, USA.
  (Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Paper)
• Desel, Jörg:
  From Human Knowledge to Process Models.
  In: Kaschek, Roland ; Kop, C. ; Steinberger, C. ; Fliedl, G.: Information systems and e-Business technologies : 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008 ; proceedings. - Heidelberg : Springer, 2008. - S. 84-95. - (Lecture notes in business information processing ; 5)
  ISBN 3-540-78941-3 ; 978-3-540-78941-3
• Bergenthum, Robin ; Desel, Jörg ; Harrer, Andreas ; Mauser, Sebastian:
  Learnflow mining.
  In: Seehusen, Silke ; Lucke, U. ; Fischer, S.: DeLFI 2008 : die 6. e-Learning-Fachtagung Informatik der Gesellschaft für Informatik e.V. ; 07. - 10. September 2008 in Lübeck, Germany. - Bonn : Gesellschaft für Informatik, 2008. - S. 269-280. - (GI-Edition. Proceedings ; 132)
  ISBN 978-3-88579-226-0
  (Begutachteter Beitrag / peer-reviewed paper)
• Desel, Jörg ; Iglezakis, Dorothea:
  Hilfreiche Hilfe? : adaptives Learning-on-Demand.
  In: Seehusen, Silke ; Lucke, Ulrike ; Fischer, Stefan (Hrsg.): DeLFI 2008 : die 6. E-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V. ; 07. - 10. September 2008 in Lübeck, Germany. - Bonn : Gesellschaft für Informatik, 2008. - S. 293-304. - (GI-Edition : lecture notes in informatics : Proceedings ; 132)
  ISBN 978-3-88579-226-0
• Hermann, Andreas ; Matzka, Stephan ; Desel, Jörg:
  Driving situation analysis in automotive environment.
  2008
  Veranstaltung: IEEE International Conference on Vehicular Electronics and Safety, 2008. ICVES 2008., 22.-24. Sept. 2008, Columbus, Ohio, USA.
  (Veranstaltungsbeitrag: Kongress/Konferenz/Symposium/Tagung, Paper)

2007

• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Process mining based on regions of languages.
  In: Business Process Management : 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007 ; Proceedings. - Heidelberg : Springer, 2007. - S. 375-383. - (Lecture notes in computer science ; 7414)
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Technical Report including proofs: Process Mining Based on Regions of Languages.
  In: Business process management : 5th international conference, BPM 2007, Brisbane, Australia, September 24-28, 2007 ; proceedings / Gustavo Alonso; Peter Dadam; Michael Rosemann (eds.). - Berlin u.a. : Springer, 2007. - S. 375-383. - (Lecture notes in computer science ; 4714)
  ISBN 978-3-540-75182-3
• Lorenz, Robert ; Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
  Synthesis of Petri nets from finite partial languages.
  In: Seventh International Conference on Application of Concurrency to System Design : ACSD 2007 : proceedings : 10-13 July, 2007, Bratislava, Slovak Republic / edited by Twan Basten, Gabriel Juhás, Sandeep Shukla. - Los Alamitos, Calif. : IEEE Computer Society, 2007. - S. 157-166
  ISBN 0-7695-2902-X

2006

• van Dongen, Boudewijn F. ; Desel, Jörg ; van der Aalst, Will:
  Aggregating Causal Runs to Workflow Nets : BETA Working Paper Series.
  2006
• Desel, Jörg ; Glinz, Martin:
  Modellierung in Lehre und Weiterbildung : Workshop auf der Modellierung 2006 ; Technischer Bericht ifi-2006.03.
  2006
• Desel, Jörg ; Wimmer, Ruprecht:
  Neue Medien an der Katholischen Universität Eichstätt-Ingolstadt.
  In: Klebl, Michael ; Köck, Michael (Hrsg.): Projekte und Perspektiven im Studium Digitale : neue Medien an der Katholischen Universität Eichstätt-Ingolstadt. - Berlin : LIT, 2006. - S. 5-10. - (Medienpädagogik ; 3)
  ISBN 3-8258-9635-8
• Lorenz, Robert ; Bergenthum, Robin ; Desel, Jörg ; Juhás, Gabriel:
  Can I execute my Scenario in your Net? VipTool tells you!
  In: Petri Nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 ; proceedings / Susanna Donatelli; P. S. Thiagarajan (eds.). - Berlin u.a. : Springer, 2006. - S. 381-390. - (Lecture notes in computer science ; 4024)
  ISBN 978-3-540-34699-9
• Liu, Cong ; Kondratyev, Alex ; Watanabe, Yosinori ; Desel, Jörg ; Sangiovanni-Vincentelli, Alberto:
  Schedulability Analysis of Petri Nets Based on Structural Properties.
  In: Proceedings / Sixth International Conference on Application of Concurrency to System Design (ACSD 2006) : 28 - 30 June 2006, Turku, Finland / ed. by Kees Goossens ... - Los Alamitos, Calif. : IEEE Computer Society, 2006. - S. 69-78
  ISBN 978-0-7695-2556-3

2005

• Enterprise modelling and information systems architectures : Workshop, Klagenfurt, Austria, October 24 - 25, 2005.
  Hrsg.: Desel, Jörg ; Frank, Ulrich
  Bonn : Gesellschaft für Informatik, 2005. - 266 S. - (GI-Edition Lecture Notes in Informatics. Proceedings ; 75)
  ISBN 3-88579-404-7
• International Conference on Application of Concurrency to System Design <5, 2005, Saint-Malo> : Proceedings [ACSD 2005 : 7 - 9 June 2005, St. Malo, France].
  Hrsg.: Desel, Jörg ; Watanabe, Yosinori
  Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2005. - 256 S. - (GI-Edition Lecture Notes in Informatics)
  ISBN 0-7695-2363-3
• Desel, Jörg:
  Schwach beschränkte Petrinetze.
  2005
  Veranstaltung: 12ter Workshop "Algorithmen und Werkzeuge für Petrinetze" (AWPN 2005), 29. - 30. September 2005, Berlin, Humboldt-Universität.
  (Veranstaltungsbeitrag: Workshop, Vortrag)
• Juhás, Gabriel ; Lorenz, Robert ; Desel, Jörg:
  Can I execute your scenario in my net?
  In: Applications and theory of Petri Nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20 - 25, 2005 ; proceedings / Gianfranco Ciardo ... (eds.). - Berlin u.a. : Springer, 2005. - S. 289-308. - (Lecture notes in computer science ; 3536)
  ISBN 3-540-26301-2
• Desel, Jörg:
  Process modelling using Petri nets.
  In: Process-Aware Information Systems : bridging people and software through process technology / ed. by Marlon Dumas; Wil van der Aalst; Arthur H. M. ter Hofstede. - Hoboken, New Jersey : Wiley Blackwell, 2005. - S. 147-177
  ISBN 978-0-471-66306-5