Logo der Fakultät STTP-Logo

Publikationen

Bücher

in Arbeit

Begutachtete Zeitschriftenartikel und Buchbeiträge

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

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).

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

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

  • 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

13.02.2012
FernUni-Logo FernUniversität in Hagen, Lehrgebiet Softwaretechnik und Theorie der Programmierung