Publikationen

Bücher

[mehr erfahren]

  • Jörg Desel und Alex Yakovlev (Hrsg.): 16th International Conference on Application of Concurrency to System Design, Proceedins of ACSD 2016, Torun, Polen, 19.-24. Juni 2016, IEEE Computer Society, Los Alamitos, U.S.A., 2016
  • Maciej Koutny, Jörg Desel und Jetty Kleijn (Hrsg.): Transactions on Petri Nets and Other Models of Concurrency XI, LNCS 9930, Springer-Verlag, 2016
  • Desel, Jörg; Haddad, Serge, Koutny, Maciej,(eds.) Transactions on Petri Nets and Other Models of Concurrency X, Springer (LNCS 9410), 2015.
  • José-Manuel Colom, Jörg Desel (Hg.): Application and Theory of Petri Nets and Concurrency 2013, 34th International Conference, Petri Nets 2013, Milan, Italy, June 2013, Proceedings: Springer (LNCS 7927).
  • J. Desel, J.M. Haake, Chr. Spannagel (Hg.): DeLFI 2012. Die 10. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e. V. Bonn (Lecture Notes in Informatics P-207).

Dissertationen, begutachtete Zeitschriftenartikel und Buchbeiträge

[mehr erfahren]

2016

  • Jörg Desel und Javier Esparza: Negotiations and Petri Nets. Transactions on Petri Nets and Other Models of Concurrency XI, LNCS 9930, S. 203-225, Springer-Verlag, 2016

2015

  • Simone Opel, Jörg Desel und Johannes Magenheim: Aspekte horizontaler und vertikaler Vernetzung beruflicher Informatikausbildung. R. Dreher, K. Jenewein, U. Neustock und U. Schwenger (Hrsg.): Wandel der technischen Berufsbildung – Ansätze und Zukunftsperspektiven. Reihe Berufsbildung, Arbeit und Innovation, Band 41, W. Bertelsmann Verlag , Bielefeld, S. 67-76, ISBN 978-3-7639-5648-7, 2015
  • R. Bergenthum, Joachim Schick. Verification of Logs - Revealing Faulty Processes of a Medical Laboratory, in: Koutny, Maciej, Desel, Jörg; Haddad, Serge (eds.) Transactions on Petri Nets and Other Models of Concurrency X, Lecture Notes in Computer Science 9410, 1-18, Springer 2015.
  • R. Bergenthum, Lorenz, Robert: Verification of Scenarios in Petri Nets Using Compact Tokenflows. Fundamenta Informaticae 137, 117-142, IOS Press, 2015.

2014

  • Wolfgang Reisig; Jörg Desel (2014): Konzepte der Petrinetze. In: Informatik Spektrum 37 (3), S. 172–190.
  • Javier Esparza; Jörg Desel (2014): On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. In: Anca Muscholl (Hg.): Proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), Grenoble, Frankreich, April 2014, Springer (LNCS, 8412), S. 258–273.
  • Javier Esparza; Jörg Desel (2014): On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations. CoRR abs/1403.4985

2013

  • R. Bergenthum: Verifikation von halbgeordneten Abläufen. (Diss. Hagen 2013) , Hagen 2013 (pdf).
  • J. Esparza, J. Desel, Jörg: On Negotiation as concurrency primitive. In: Pedro R. D'Argenio und Hernan Melgratti (Hg.): Concurrency theory. 24th international conference ; proceedings. Heidelberg, Dordrecht, London, New York, NY, Berlin: Springer (LNCS, 8052), S. 440–455. (pdf)
  • J. Esparza; J. Desel: On Negotiation as Concurrency Primitive. In: CoRR abs/1307.2145, S. 1-22. (pdf)
  • R. Lorenz, J. Desel, G. Juhás: Models from scenarios. In: Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny und Karsten Wolf (Hg.): Transactions on Petri Nets and Other Models of Concurrency VII. New York: Springer (LNCS 7480), S. 314–371. (pdf)

2012

  • J. Desel: Was sollen wir über Grundlagen der Prozessmodellierung lehren? In: Norbert Seyff und Anne Koziolek (Hg.): Modelling and quality in requirements engineering. Essays dedicated to Martin Glinz on the occasion of his 60th birthday. Unter Mitarbeit von Martin Glinz. Münster: Verl.-Haus Monsenstein und Vannerdat (MW-Wissenschaft), S. 287–295.
  • J. Desel, K. Klai: Checking soundness of business processes compositionally using Symbolic Observation Graphs. In: Holger Giese und Grigore Rosu (Hg.): Proceedings of FORTE 2012 - Formal Technics for Networked and Distributed Systems. FORTE 2012 - Formal Technics for Networked and Distributed Systems. Stockholm, Sweden, Juni 2012: Springer (LNCS 7273), S. 67–83.(pdf)
  • B. F. vanDongen, J.Desel, Jörg, W.M.P. van der Aalst etal: Aggregating Causal Runs into Workflow Nets. In: Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn und LarsMichael Kristensen (Hg.): Transactions on Petri Nets and Other Models of Concurrency VI, Berlin Heidelberg, Springer(LNCS 7400), S. 334–363. (pdf)

2011

  • R. Bergenthum, Robin; J. Desel, S. Mauser: Workflow Nets with Roles. In: Markus Nüttgens, Oliver Thomas und Barbara Weber (Hg.): Enterprise Modelling and Information Systems (EMISA 2011). Hamburg, Germany, September 22-23, 2011. Bonn: GI (LNI, 190), S. 65–78. (pdf)
  • J. Desel, K. Klai, S. Tata: Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. In: Data & Knowledge Engineering 70 (5), S. 467–482.

2010

  • S. Mauser: Synthese von Petrinetzen aus halbgeordneten Abläufen. (Diss. Hagen 2010) , Hagen 2010 (pdf).

2009

  • R. Bergenthum, J. Desel, R. Lorenz, S. Mauser: Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundamenta Informaticae, Volume 95, Number 1, 187-217, IOS Press, 2009.
  • R. Bergenthum, J. Desel, S. Mauser: Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. Transactions on Petri Nets and Other Models of Concurrency, Volume III, LNCS 5800, 216 - 243, Springer, 2009.
  • E. Best, J.Desel: On the Reducibility of Persistent Petri Nets. K. Lodaya, M. Mukund, R. Ramanujam (Hrsg.): Perspectives in Concurrency Theory, 22-34, Universities Press India, 2009 (pdf).
  • R. Bergenthum, J. Desel, S. Mauser, R. Lorenz: Construction of Process Models from Example Runs. Transactions on Petri Nets and Other Models of Concurrency, Volume II, LNCS 5460, 243-259, Springer, 2009 (pdf).
  • R. Bergenthum, J. Desel, G. Juhas, R. Lorenz, S. Mauser: Executability of Scenarios in Petri Nets. Theoretical Computer Science, Volume 410, Number 12-13, 1190-1216, Elsevier, 2009 (pdf).
  • R. Bergenthum, G. Juhas, R. Lorenz, S. Mauser: Unfolding Semantics of Petri Nets Based on Token Flows. Fundamenta Informaticae, Volume 94, Number 3-4, 331-360, IOS Press, 2009.

2008

  • R. Bergenthum, J. Desel, R. Lorenz, S. Mauser: Synthesis of Petri Nets from Finite Partial Languages. Fundamenta Informaticae, Volume 88, Number 4, 437-468, IOS Press, 2008 (pdf).
  • C.Liu, A.Kondratyev, Y.Watanabe, J.Desel, A.Sangiovanni-Vincentelli: Schedulability analysis of Petri nets based on structural properties Fundamenta Informaticae Volume 86, Number 3, 325-341, 2008 (pdf).
  • G. Juhas, R. Lorenz, S. Mauser: Complete Process Semantics of Petri Nets. Fundamenta Informaticae, Volume 87, Numbers 3-4, 331-365, IOS Press, 2008 (pdf).
  • G. Juhas, R. Lorenz, S. Mauser: Causal Semantics of Algebraic Petri Nets Distinguishing Concurrency and Synchronicity. Fundamenta Informaticae, Volume 86, Number 3, 255-298, IOS Press, 2008 (pdf).

2007

  • R. Bergenthum, S. Mauser: Experimental Results on the Synthesis of Petri Nets from Partial Languages. Petri Net Newsletter, Volume 73, 3-10, GI, 2007 (pdf).

nach oben

Begutachtete und eingeladene Beiträge in Tagungsbänden

[mehr erfahren]

2017

  • Jörg Desel: Die Entwicklung neuer GI-Empfehlungen für Informatik-Studiengänge, M. Eibl, M. Gaedke (Hrsg.): INFORMATIK 2017. Chemnitz, September 2017 LNI P-275, S. 235-240, Gesellschaft für Informatik, 2017
  • Jörg Desel: What is a Petri net? Does structure provide an added value? S. Haddad, J. Kleijn, J. Desel. J.M. Colom (Hrsg.): Workshop on Structure Theory of Petri Nets - STRUCTURE 2017, Zaragoza, Spanien, Juni 2017, S. 11-16, Universidad Zaragoza, 2017
  • Benjamin Meis, Robin Bergenthum und Jörg Desel: travis – An Online Tool for the Synthesis and Analysis of Petri Nets With Final States, W. van der Aalst, E. Best (Hrsg.): Application and Theory of Petri Nets and Concurrency - Petri Nets 2017. Zaragoza, Spanien, Juni 2017, LNCS 10258, S. 101-111, Springer-Verlag, 2017

2016

  • Benjamin Meis, Robin Bergenthum und Jörg Desel: Synthesis of Elementary Net Systems with Final Configurations. W. van der Aalst. R. Bergenthum, J. Carmona (Hrsg.): Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data (ATAED), Torun, Polen, Juni 2016, S. 47-57, CEUR, 2016

2015

  • Javier Esparza und Jörg Desel: Negotiation Programs. In: R.R. Devillers, A. Valmari (Hrsg.): Application and Theory of Petri Nets and Concurrency - Petri Nets 2015. Brüssel, Belgien, Juni 2015, Springer (LNCS 9115), S. 157-178.
  • Chr. Wakup und J. Desel: Analyzing a TCP/IP-Protocol with Process Mining Techniques. In: F. Fournier, J. Mendling (Hrsg.): Business Process Management Workshops - BPM 2014 International workshops, Eindhoven, Niederlande, September 2014, Revised Papers, Springer (LNBIP 202), S. 353-364.

2013

  • Jörg Desel: On cyclic behaviour of unbounded Petri nets, J. Carmona, M.T. Lazarescu, M. Pietkiewicz-Koutny (Hrsg.): Proceedings of the 13th International Conference on Applications of Concurrency to System Design (ACSD), Barcelona, Spain, Juli 2013, IEEE Press, S. 110-119, 2013
  • R. Bergenthum: Faster Verification of Partialy Orderd Runs in Petri Nets Using Compact Tokenflows. In: José-Manuel Colom und Jörg Desel (Hg.): Application and Theory of Petri Nets and Concurrency 2013, 34th International Conference, Petri Nets 2013, Milan, Italy, June 2013, Proceedings: Springer (LNCS 7927), S. 330–348. (pdf)

2012

  • R. Bergenthum, J. Desel,A. Harrer, S. Mauser: Modeling and Mining of Learnflows. In: Kurt Jensen, Susanna Donatelli und Jetty Kleijn (Hg.): Transactions on Petri Nets and Other Models of Concurrency V. Berlin, New York: Springer (LNCS 6900), S. 22–50. (pdf)

2011

2010

  • J. Desel, L. v. Klenze: AMSEL - ein Lernsystem zum Algorithmenentwurf. In: Michael Kerres, Nadine Ojstersek, Ulrik Schroeder und Ulrich Hoppe (Hg.): DeLFI 2010 - 8. Tagung der Fachgruppe E-Learning der Gesellschaft für Informatik e.V. Universität Duisburg-Essen, 12.-15. September 2010: GI (LNI, 169), S. 33–44.
  • J. Desel, A. Merceron: Vicinity Respecting Homomorphisms for Abstracting System Requirements, APNOC'09 satellite workshop of Petri Nets. In: Kurt Jensen, Susanna Donatelli und Maciej Koutny (Hg.): Transactions on petri nets and other models of concurrency IV, Berlin, Heidelberg [u.a.]: Springer (LNCS 6550), S. 1–20. (pdf)

2009

  • K. Klai, S. Tata, J. Desel: Symbolic Abstraction and Deadlock-Freeness Verification of Inter-Enterprise Processes. Proceedings of the 7th International Conference on Business Process Management (BPM), Springer, 2009 (pdf).
  • S. Mauser, R. Lorenz: Variants of the Language Based Synthesis Problem for Petri Nets. Proceedings of the 9th international conference on Application of Concurrency to System Design (ACSD), 89-98, IEEE Computer Society, 2009.
  • G. Juhas, R.Lorenz, S. Mauser: Partial Order Semantics of Types of Nets. M. Nielsen, A. Kucera, P. B. Miltersen, C. Palamidessi, P. Tuma, F. Valencia (Hrsg.): SOFSEM 2009: Theory and Practice of Computer Science, Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, LNCS 5404, 388-400, Springer, 2009 (pdf).
  • Gabriel Juhás, Jörg Desel und Robert Lorenz: Unifying Petri Net Semantics With Token Flows, G. Franceschinis, K. Wolf (Hrsg.): Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, Paris, Juni 2009, LNCS 5606, S. 2-21, Springer-Verlag, 2009

2008

  • A.Hermann, S.Matzka, J.Desel: Driving Situation Analysis in Automotive Environment. Proceedings of 2008 IEEE International Conference on Vehicular Eletronics and Safety, 216-221, IEEE Computer Society 2008 (pdf).
  • J.Desel, D.Iglezakis: Hilfreiche Hilfe? Adaptives Learning-on-Demand. S. Seehusen, U. Lucke, S. Fischer (Hrsg.): Tagungsband Delfi 2008 Die 6. e.Learning Fachtagung Informatik, LNI 132, 293-304, GI, 2008 (pdf).
  • J.Desel: From Human Knowledge to Process Models. R.Kaschek, C.Kop. C.Steinberger, G.Fliedl (Hrsg.): Information Systems and e-Business Technologies, Proceedings of UNISCON 2008, LNBIP 5, 84-95, Springer, 2008 (pdf).
  • J.Desel: Controlling Petri Net Process Models. M.Dumas, R.Heckel (Hrsg.): Web Services and Formal Methods, Proceedings of WS-FM 2007,LNCS 4937, 17-30, Springer, 2008 (pdf).
  • A.Hermann, S.Matzka, J.Desel: Using a proactive sensor-system in the distributed environment model. Proceedings of the IEEE 2008 Intelligent Vehicles Symposium, 703-708, IEEE, 2008 (pdf).
  • J.Desel; C.Neumair: Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. T. Brinda, M. Fothe, P. Hubwieser, K. Schlüter (Hrsg.): Tagungsband Didaktik der Informatik - Aktuelle Forschungsergebnisse LNI 135, 151-152, GI, 2008 (pdf).
  • R. Bergenthum, J.Desel, R.Lorenz, S. Mauser: Synthesis of Petri Nets from Infinite Partial Languages. J. Billington, Z. Duan, M. Koutny (Hrsg.): Proceedings of the 8th international conference on Application of Concurrency to System Design (ACSD), 170-179, IEEE Computer Society, 2008 (pdf).
  • R. Bergenthum, J.Desel, R.Lorenz, S. Mauser: Synthesis of Petri Nets from Scenarios with VipTool. K. v. Hee, R. Valk (Hrsg.): Application and Theory of Petri Nets (Petri Nets), Proceedings of the 29th International Conference on Application and Theory of Petri Nets, LNCS 5062, 388-398, Springer, 2008 (pdf).
  • R. Bergenthum, R.Lorenz, S. Mauser: Faster Unfolding of General Petri Nets Based on Token Flows. K. v. Hee, R. Valk (Hrsg.): Application and Theory of Petri Nets (Petri Nets), Proceedings of the 29th International Conference on Application and Theory of Petri Nets, LNCS 5062, 388-398, Springer, 2008 (pdf).
  • R. Bergenthum, J.Desel, A. Harrer, S. Mauser: Learnflow Mining. S.Seehusen, U. Lucke, S. Fischer (Hrsg.): DeLFI 2008, Tagungsband der 6. e-Learning Fachtagung Informatik, LNI P-132, 269-280, GI, 2008 (pdf).

2007

  • G. Juhas, R.Lorenz, S. Mauser: Complete Process Semantics for Inhibitor Nets. Jetty Kleijn, Alex Yakovlev (Hrsg.): Petri Nets and Other Models of Concurrency (ICATPN), Proceedings of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, LNCS 4546, 342 - 361, Springer, 2007 (pdf).
  • R.Lorenz, R. Bergenthum, S. Mauser: Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. Jetty Kleijn, Alex Yakovlev (Hrsg.): Petri Nets and Other Models of Concurrency (ICATPN), Proceedings of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, LNCS 4546, 342 - 361, Springer, 2007 (pdf).
  • R. Lorenz, G. Juhas, S. Mauser: How to Synthesize Nets from Languages - a Survey. Proceedings of the Wintersimulation Conference (WSC), 637-647, IEEE, 2007 (pdf).
  • R. Bergenthum, J. Desel, R.Lorenz, S. Mauser: Process Mining Based on Regions of Languages. G.Alonso, P.Dadam, M.Rosemann (Hrsg.): Proceedings of the 5th International Conference on Business Process Management (BPM), LNCS, vol. 4714, 375 - 383, Springer, 2007 (pdf).
  • R.Lorenz, R. Bergenthum, S. Mauser: Testing the Executability of Scenarios in General Inhibitor Nets. T. Basten, G. Juhas, S. Shukla (Hrsg.): Proceedings of the 7th international conference on Application of Concurrency to System Design (ACSD), 167 - 176, IEEE Computer Society, 2007 (pdf).
  • R.Lorenz, R. Bergenthum, J. Desel, S. Mauser: Synthesis of Petri Nets from Finite Partial Languages. T. Basten, G. Juhas, S. Shukla (Hrsg.): Proceedings of the 7th international conference on Application of Concurrency to System Design (ACSD), 157 - 166, IEEE Computer Society, 2007 (pdf).

2006

  • C.Liu, A.Kondratyev, Y.Watanabe, J.Desel, A.Sangiovanni-Vincentelli: Schedulability Analysis of Petri Nets Based on Structural Properties K.Goossens, L.Petrucci (Hrsg.):Proceedings of the 6th International Conference on Applications of Concurrency to System Design, 69-78, IEEE, 2006.
  • G. Juhas, R.Lorenz, S. Mauser: Synchronous + Concurrent + Sequential = Earlier than + Not later than. Proceedings of the 6th international conference on Application of Concurrency to System Design (ACSD), 261 - 270, IEEE Computer Society, 2006 (pdf).
  • R. Bergenthum, J. Desel, G. Juhas, R.Lorenz: Can I Execute my Scenario in your Net? VipTool Tells you!. P.Darondeau, G.Ciardo (Hrsg.): Proceedings of the 27th international conference on Application and Theory of Petri Nets (ICATPN), LNCS, vol. 4024, 381-390, Springer, 2006 (pdf).

nach oben

Workshopbeiträge und Workshop-Proceedings

[mehr erfahren]

2017

  • S. Haddad, J. Kleijn, J. Desel. J. M. Colom (Hrsg.): Workshop on Structure Theory of Petri Nets - STRUCTURE 2017, Zaragoza, Spanien, Juni 2017, Universidad Zaragoza, 2017

2016

  • Jörg Desel, Javier Esparza and Philipp Hoffmann: Negotiation as Concurrency Primitive, CoRR abs/1612.07912, 2016

2015

  • Desel, Jörg; Esparza, Javier: Negotiations and Petri Nets. In: D. Moldt, H. Rölke, H. Störrle (Hrsg.): Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE), Brüssel, Belgien, Juni 2015, (CEUR Workshop Proceedings, 1372), S. 41-57

2014

  • Desel, Jörg; Kılınç, Görkem: Observable Liveness. In: Daniel Moldt und Heiko Rölke: Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE'14, a satellite event of Petri Nets 2014 Tunis, June 2014 (CEUR Workshop Proceedings, 1160), S. 143-163. (pdf)

  • Bergenthum, Robin; Schick, Joachim: Verification of Logs - Revealing Faulty Processes of a Medical Laboratory. In: Daniel Moldt und Heiko Rölke: Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE'14, a satellite event of Petri Nets 2014 Tunis, June 2014 (CEUR Workshop Proceedings 1160), 17-33. (pdf)

2011

  • J. Desel, A. Yakovlev: Proceedings of the Workshop Applications of Region Theory 2011. Newcastle upon Tyne, UK CEUR Workshop Proceedings 725.
  • B. van Dongen, J. Desel, W.M.P. van der Aalst: Aggregating Causal Runs into Workflow nets. In: Jörg Desel und Alex Yakovlev (Hg.): Proceedings of the Workshop Applications of Region Theory 2011. Newcastle upon Tyne, UK, CEUR Workshop Proceedings 725 (pdf)
  • R. Bergenthum, S. Mauser: Folding Partially Ordered Runs. In: Jörg Desel und Alex Yakovlev (Hg.): Proceedings of the Workshop Applications of Region Theory 2011. Newcastle upon Tyne, UK (CEUR Workshop Proceedings, 725). (pdf)
  • R. Bergenthum, S. Mauser: Mining with User interaction. In: Jörg Desel und Alex Yakovlev (Hg.): Proceedings of the Workshop Applications of Region Theory 2011. Newcastle upon Tyne, UK (CEUR Workshop Proceedings 725). (pdf)
  • Chr. Choppy, J. Desel, L. Petrucci: Specialisation and Generalisation of Processes. In: M. Duvigneau, D. Moldt und K. Hiraishi (Hg.): Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, 2011: (CEUR Workshop Proceedings 723), 109-123 (pdf)

2010

  • R. Bergenthum,A. Harrer, S. Mauser: Modeling and Mining of Collarobative Learnflows. In: Susanna Donatelli, Jetty Kleijn, etal (Hg.): Proceedings of the Workshops of the 31st International Conference on Application and PETRI NETS 2010 and ACSD 2010, Braga, Portugal: CEUR Workshop Proceedings, 827, S. 151–159 (pdf).

2009

  • R. Bergenthum, J. Desel, A. Harrer, S. Mauser: Modellierung und Mining Kollaborativer Learnflows. 16. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 1-8, CEUR Workshop Proceedings, Volume 501, DHBW Karlsruhe, Karlsruhe 2009.
  • S. Mauser, R. Bergenthum, J. Desel, A. Klett: An Approach to Business Process Modeling Emphasizing the Early Design Phases. 16. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 41-56, CEUR Workshop Proceedings, Volume 501, DHBW Karlsruhe, Karlsruhe 2009.
  • J. Desel, A. Merceron: Vicinity Respecting Homomorphisms for Abstracting System Requirements. APNOC'09 satellite workshop of Petri Nets, 2009 (pdf).

2008

  • R. Bergenthum, S. Mauser: Synthesis of Petri Nets from Infinite Partial Languages with VipTool. 15. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Rostock, 2008 (pdf).
  • R. Bergenthum, J. Desel, C. Kölbl, S. Mauser: Experimental Results on Process Mining Based on Regions of Languages. CHINA 2008 satellite workshop of ICATPN, 2008 (pdf).
  • R. Bergenthum, S. Mauser: Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language . CHINA 2008 satellite workshop of ICATPN, 2008 (pdf).
  • J.Desel, L.Petrucci: Aggregating views for Petri net model construction. Proceedings of PNDS-08, workshop at the 29th International Conference on Applications and Theory of Petri Nets, 17-31, 2008 (pdf).
  • R. Bergenthum, J. Desel, S. Mauser: Synthesis of Petri Nets for Business Process Design. Workshop Verhaltensmodellierung: Best Practices und neue Erkenntnisse an der Modellierung, 2008 (pdf).
  • J.Desel: Modellieren lernen über Formalisieren von Ablaufbeschreibungen. J.Desel, M.Glinz (Hrsg.): Modellierung in Lehre und Weiterbildung Technischer Bericht ifi-2008.04, Institut für Informatik, 37-46, 2008 (pdf).

2007

  • R. Bergenthum, R. Lorenz, S. Mauser: Towards Applicability of Language Based Synthesis for Process Mining. Proceedings 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 45 - 50, Koblenz, 2007 (pdf).
  • R. Bergenthum, R. Lorenz, S. Mauser: Faster Unfolding of General Petri Nets. Proceedings 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), 63 - 68, Koblenz, 2007 (pdf).

2006

  • R. Bergenthum, R. Lorenz, S. Mauser: Synthese von S/T-Netzen aus unendlichen partiellen Sprachen. Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petrinetze (AWPN), 1 - 8, Hamburg, 2006 (pdf).
  • R. Bergenthum, R. Lorenz, S. Mauser: Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen. Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petrinetze (AWPN), 9 - 17, Hamburg, 2006 (pdf).

nach oben

Technische Berichte, Zeitschriftenartikel

[mehr erfahren]

2015

  • Hannes Federrath, Jörg Desel, Albert Enders und Patrick Stoll: Internet der Zukunft – sicher, schnell, vertrauenswürdig. Informatik Spektrum 38 (4), S. 277-282 (2015)
  • Jörg Desel und Wolfgang Reisig: The concepts of Petri nets. Software and Systems Modeling 14 (2), S. 669-683 (2015)
  • Jörg Desel und Görkem Kilinc: Observable liveness of Petri nets. Acta Informatica 52 (2), S. 153-174 (2015)
  • José Manuel Colom; Jörg Desel; Jetty Kleijn (2015): Preface. In: Fundamenta Informaticae 137 (1). DOI: 10.3233/FI-2015-1167.

2014

  • Jörg Desel; Wolfgang Reisig (2014): Petrinetze. In: Informatik Spektrum 37 (3), S. 165–167.

1996 - 2014

  • J. Desel, A. Merceron: Technical Report: Vicinity respecting homomorphisms for abstracting system requirements. Bericht No. 337 of Institut AIFB, Universität Karlsruhe, 1996 (pdf).
  • S. Mauser, R. Lorenz: Technical Report: Variants of the Language Based Synthesis Problem for Petri Nets. Technical Report, 2009 (pdf).
  • G. Juhas, R. Lorenz, S. Mauser: Examples and Proofs: Partial Order Semantics of Types of Nets. Technical Report, 2009 (pdf).
  • R. Bergenthum, R.Lorenz, S. Mauser: Technical Report: Faster Unfolding of General Petri Nets Based on Token Flows. K. v. Hee, R. Valk (Hrsg.): Application and Theory of Petri Nets (Petri Nets), Proceedings of the 29th International Conference on Application and Theory of Petri Nets, LNCS 5062, 388-398, Springer, 2008 (pdf).
  • R. Bergenthum, J. Desel, R.Lorenz, S. Mauser: Technical Report including proofs: Process Mining Based on Regions of Languages. G.Alonso, P.Dadam, M.Rosemann (Hrsg.): Proceedings of the 5th International Conference on Business Process Management (BPM), LNCS, vol. 4714, 375 - 383, Springer, 2007 (pdf).
  • G. Juhas, R.Lorenz, S. Mauser: Technical Report including proofs: Complete Process Semantics for Inhibitor Nets. Jetty Kleijn, Alex Yakovlev (Hrsg.): Petri Nets and Other Models of Concurrency (ICATPN), Proceedings of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, LNCS 4546, 342 - 361, Springer, 2007. (pdf).
  • R.Lorenz, R. Bergenthum, S. Mauser: Technical Report: Testing the Executability of Scenarios in General Inhibitor Nets. T. Basten, G. Juhas, S. Shukla (Hrsg.): Proceedings of the 7th international conference on Application of Concurrency to System Design (ACSD), 167 - 176, IEEE Computer Society, 2007 (pdf).
  • G. Juhas, R.Lorenz, S. Mauser: Technical Report including proofs: Synchronous + Concurrent + Sequential = Earlier than + Not later than. Proceedings of the 6th international conference on Application of Concurrency to System Design (ACSD), 261 - 270, IEEE Computer Society, 2006 (pdf).

nach oben

Lehrgebiet STTP | 04.12.2018