Prof. Dr. Robert Lorenz

Professor
Lehrprofessur für nebenläufige Systeme
Telefon: +49 821 598 3109
E-Mail:
Raum: 2047 (N)
Sprechzeiten: Nach Vereinbarung
Adresse: Universitätsstraße 6a, 86159 Augsburg

Stellvertretender Studiendekan des Institiuts für Informatik (seit 2022)

 

Studiendekan des Institiuts für Informatik (2013 - 2022)

 

Preis für gute Lehre an den bayrischen staatlichen Universitäten (2010)

 

Sprecher des Leitungsgremiums der Special Interest Group on Petri Nets and Related System Models (FG 0.0.1) der Gesellschaft für Informatik (GI) (seit 2019)

Lebenslauf

seit 2008 Universitätsprofessor (W2), Lehrprofessur für Informatik, Universität Augsburg
2006 Habilitation in Informatik, Katholische Universität Eichstätt-Ingolstadt
2000 Promotion in Mathematik (summa cum laude), Katholische Universität Eichstätt-Ingolstadt
1996 Diplom in Mathematik, Katholische Universität Eichstätt-Ingolstadt

 

Publikationen

2022 | 2017 | 2015 | 2014 | 2013 | 2012 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000

2022

2022. ATAED 2022: Algorithms & Theories for the Analysis of Event Data 2022 - Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Bergen, Norway, June 19-24, 2022.
PDF | BibTeX | RIS | URL

2017

Robert Lorenz, Johannes Metzger and Lev Sorokin. 2017. Synthesis of bounded Petri nets from prime event structures with cutting context using wrong continuations.
PDF | BibTeX | RIS | URL | URL

Robert Lorenz, Johannes Metzger, Lev Sorokin and Robin Bergenthum. 2017. Towards compact regions for labeled prime event structures.
BibTeX | RIS | URL

2015

Robert Lorenz. 2015. Modeling quantitative aspects of concurrent systems using weighted Petri net transducers. DOI: 10.1007/978-3-319-19488-2_3
PDF | BibTeX | RIS | DOI

Robert Lorenz and Robin Bergenthum. 2015. Verification of scenarios in Petri nets using compact tokenflows. DOI: 10.3233/FI-2015-1172
BibTeX | RIS | DOI

2014

Markus Huber, Robert Lorenz and Daniel Straßner. 2014. Constructing Petri net transducers with PNTooL.
PDF | BibTeX | RIS

Markus Huber and Robert Lorenz. 2014. Constructing Petri net transducers with PNTooL.
PDF | BibTeX | RIS | URL | URL

Robert Lorenz, Markus Huber and Günther Wirsching. 2014. On weighted Petri net transducers. DOI: 10.1007/978-3-319-07734-5_13
PDF | BibTeX | RIS | DOI

Gunther Wirsching and Robert Lorenz. 2014. Some algebraic aspects of semantic uncertainty and cognitive biases. DOI: 10.1109/coginfocom.2014.7020405
PDF | BibTeX | RIS | DOI

2013

Markus Huber, Christian Kölbl, Robert Lorenz and Günther Wirsching. 2013. Konstruktion von UMP-Transduktoren aus Wizard-of-Oz Daten.
PDF | BibTeX | RIS

Robert Lorenz, Jörg Desel and Gabriel Juhás. 2013. Models from scenarios. DOI: 10.1007/978-3-642-38143-0_9
PDF | BibTeX | RIS | DOI

Robert Lorenz and Markus Huber. 2013. Realising the translation of utterances into meanings by Petri net transducers.
PDF | BibTeX | RIS

Gunther Wirsching and Robert Lorenz. 2013. Towards meaning-oriented language modeling. DOI: 10.1109/coginfocom.2013.6719273
PDF | BibTeX | RIS | DOI

2012

Robert Lorenz and Markus Huber. 2012. Petri Net transducers in semantic dialogue modelling.
PDF | BibTeX | RIS

Robert Lorenz, Markus Huber, Christoph Etzel and Dan Zecha. 2012. SYNOPS – generation of partial languages and synthesis of Petri nets.
PDF | BibTeX | RIS | URL | URL

Günther Wirsching, Markus Huber, Christian Kölbl, Robert Lorenz and Ronald Römer. 2012. Semantic dialogue modeling. DOI: 10.1007/978-3-642-34584-5_8
PDF | BibTeX | RIS | DOI

2010

Markus Huber, Christian Kölbl, Robert Lorenz, Ronald Römer and Günther Wirsching. 2010. Semantische Dialogmodellierung mit gewichteten Merkmal-Werte-Relationen.
PDF | BibTeX | RIS

2009

Robin Bergenthum, Jörg Desel, Sebastian Mauser and Robert Lorenz. 2009. Construction of process models from example runs. DOI: 10.1007/978-3-642-00899-3_14
PDF | BibTeX | RIS | DOI

Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel and Sebastian Mauser. 2009. Executability of scenarios in Petri nets. DOI: 10.1016/j.tcs.2008.11.014
PDF | BibTeX | RIS | DOI

Robert Lorenz, Gabriel Juhás and Sebastian Mauser. 2009. Partial order semantics of types of Nets. DOI: 10.1007/978-3-540-95891-8_36
PDF | BibTeX | RIS | DOI

Markus Huber, Christian Kölbl, Robert Lorenz, Ronald Römer and Günther Wirsching. 2009. Semantische Dialogmodellierung mit gewichteten Merkmal-Werte-Relationen.
PDF | BibTeX | RIS | URL

Robin Bergenthum, Jörg Desel, Sebastian Mauser and Robert Lorenz. 2009. Synthesis of Petri nets from term based representations of infinite partial languages. DOI: 10.3233/FI-2009-147
BibTeX | RIS | DOI

Robin Bergenthum, Sebastian Mauser, Robert Lorenz and Gabriel Juhás. 2009. Unfolding semantics of Petri nets based on token flows. DOI: 10.3233/FI-2009-134
BibTeX | RIS | DOI

Gabriel Juhás, Robert Lorenz and Jörg Desel. 2009. Unifying Petri net semantics with token flows. DOI: 10.1007/978-3-642-02424-5_2
PDF | BibTeX | RIS | DOI

Sebastian Mauser and Robert Lorenz. 2009. Variants of the language based synthesis problem for Petri nets. DOI: 10.1109/acsd.2009.19
PDF | BibTeX | RIS | DOI

2008

Gabriel Juhás, Robert Lorenz and Sebastian Mauser. 2008. Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity.
BibTeX | RIS | URL

Gabriel Juhás, Robert Lorenz and Sebastian Mauser. 2008. Complete process semantics of Petri nets.
BibTeX | RIS | URL

Fedor Lehocki, Gabriel Juhas, Robert Lorenz, Helena Szczerbicka and Martin Drozda. 2008. Decision support with logical and fuzzy Petri nets. DOI: 10.1080/01969720802188235
BibTeX | RIS | DOI

Markus Huber, Christian Kölbl, Robert Lorenz and Günther Wirsching. 2008. Ein Petrinetz-Modell zur Informationsübertragung per Dialog.
PDF | BibTeX | RIS | URL

Fedor Lehocki, Gabriel Juhas, Robert Lorenz and Martin Drozda. 2008. Extended fuzzy Petri nets for decision support. DOI: 10.1109/isabel.2008.4712586
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Robert Lorenz and Sebastian Mauser. 2008. Faster unfolding of general Petri nets based on token flows. DOI: 10.1007/978-3-540-68746-7_6
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Jörg Desel, Robert Lorenz and Sebastian Mauser. 2008. Synthesis of Petri nets from finite partial languages.
BibTeX | RIS | URL

Robin Bergenthum, Jorg Desel, Robert Lorenz and Sebastian Mauser. 2008. Synthesis of Petri nets from infinite partial languages. DOI: 10.1109/acsd.2008.4574609
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Jörg Desel, Robert Lorenz and Sebastian Mauser. 2008. Synthesis of Petri nets from scenarios with VipTool. DOI: 10.1007/978-3-540-68746-7_25
PDF | BibTeX | RIS | DOI

Robert Lorenz. 2008. Towards synthesis of Petri Nets from general partial languages.
PDF | BibTeX | RIS | URL

2007

Gabriel Juhás, Robert Lorenz and Sebastian Mauser. 2007. Complete process semantics for inhibitor nets. DOI: 10.1007/978-3-540-73094-1_13
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Robert Lorenz and Sebastian Mauser. 2007. Faster unfolding of general Petri nets.
PDF | BibTeX | RIS | URL

Robert Lorenz, Sebastian Mauser and Gabriel Juhas. 2007. How to synthesize nets from languages - a survey. DOI: 10.1109/wsc.2007.4419657
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Jörg Desel, Robert Lorenz and Sebastian Mauser. 2007. Process mining based on regions of languages. DOI: 10.1007/978-3-540-75183-0_27
PDF | BibTeX | RIS | DOI

Gabriel Juhas, Fedor Lehocki and Robert Lorenz. 2007. Semantics of Petri nets: a comparison. DOI: 10.1109/wsc.2007.4419655
PDF | BibTeX | RIS | DOI

Robert Lorenz, Robin Bergenthum, Jorg Desel and Sebastian Mauser. 2007. Synthesis of Petri nets from finite partial languages. DOI: 10.1109/acsd.2007.34
PDF | BibTeX | RIS | DOI

Robert Lorenz, Sebastian Mauser and Robin Bergenthum. 2007. Testing the executability of scenarios in general inhibitor nets. DOI: 10.1109/acsd.2007.73
PDF | BibTeX | RIS | DOI

Robert Lorenz, Sebastian Mauser and Robin Bergenthum. 2007. Theory of regions for the synthesis of inhibitor nets from scenarios. DOI: 10.1007/978-3-540-73094-1_21
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Robert Lorenz and Sebastian Mauser. 2007. Towards applicability of language based synthesis for process mining.
PDF | BibTeX | RIS | URL | URL

2006

Robin Bergenthum, Jörg Desel, Gabriel Juhás and Robert Lorenz. 2006. Can I execute my scenario in your net? VipTool tells you!. DOI: 10.1007/11767589_21
PDF | BibTeX | RIS | DOI

Gabriel Juhás, Robert Lorenz and Sebastian Mauser. 2006. Synchronous + concurrent + sequential = earlier than + not later than. DOI: 10.1109/acsd.2006.31
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Robert Lorenz and Sebastian Mauser. 2006. Synthese von S/T-Netzen aus unendlichen partiellen Sprachen.
PDF | BibTeX | RIS

Robert Lorenz and Gabriel Juhás. 2006. Towards synthesis of Petri nets from scenarios. DOI: 10.1007/11767589_17
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Robert Lorenz and Sebastian Mauser. 2006. Zur Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen.
PDF | BibTeX | RIS

2005

Gabriel Juhás, Robert Lorenz and Jörg Desel. 2005. Can I execute my scenario in your net?. DOI: 10.1007/11494744_17
PDF | BibTeX | RIS | DOI

2004

Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz and Christian Neumair. 2004. A guide to modelling and control with modules of signal nets. DOI: 10.1007/978-3-540-27863-4_16
PDF | BibTeX | RIS | DOI

Jörg Desel, Gabriel Juhás and Robert Lorenz. 2004. Modellierung und Steuerungsentwurf mit Signalnetz-Systemen.
BibTeX | RIS

Gabriel Juhás, Robert Lorenz and Christian Neumair. 2004. Modelling and control with modules of signal nets. DOI: 10.1007/978-3-540-27755-2_17
PDF | BibTeX | RIS | DOI

Gabriel Juhás and Robert Lorenz. 2004. Modelling time in signal nets.
BibTeX | RIS

Gabriel Juhás, Robert Lorenz and Christian Neumair. 2004. Synthesis of controlled behavior with modules of signal nets. DOI: 10.1007/978-3-540-27793-4_14
PDF | BibTeX | RIS | DOI

2003

Jörg Desel, Gabriel Juhás, Robert Lorenz, Vesna Milijic, Christian Neumair and Rainer Schieber. 2003. Modellierung von Steuerungssystemen mit Signal-Petrinetzen - eine Fallstudie aus der Automobilindustrie.
PDF | BibTeX | RIS

Jörg Desel, Gabriel Juhás, Robert Lorenz and Christian Neumair. 2003. Modellierung, Komposition, Semantik, Verhalten.
BibTeX | RIS

Gabriel Juhás, Robert Lorenz and Christian Neumair. 2003. Modelling and control with modules of Petri nets.
BibTeX | RIS

Jörg Desel, Gabriel Juhás, Robert Lorenz and Christian Neumair. 2003. Modelling and validation with VipTool. DOI: 10.1007/3-540-44895-0_26
PDF | BibTeX | RIS | DOI

Gabriel Juhás, Robert Lorenz and Tomáš Šingliar. 2003. On synchronicity and concurrency in Petri nets. DOI: 10.1007/3-540-44919-1_23
PDF | BibTeX | RIS | DOI

Jörg Desel, Gabriel Juhás and Robert Lorenz. 2003. Relating axiomatic and operational semantics of place/transition nets: from process terms to partial orders. DOI: 10.1016/s1571-0661(04)80746-1
BibTeX | RIS | DOI

2002

Gabriel Juhás and Robert Lorenz. 2002. Modelling with Petri modules. DOI: 10.1007/978-1-4757-6656-1_8
BibTeX | RIS | DOI

Gabriel Juhás and Robert Lorenz. 2002. Von Prozesstermen zu partiellen Ordnungen.
BibTeX | RIS

2001

Jörg Desel, Gabriel Juhás and Robert Lorenz. 2001. Modelling with Petri modules: composition preserving equivalence.
BibTeX | RIS

Jörg Desel, Gabriel Juhás and Robert Lorenz. 2001. Petri nets over partial algebra. DOI: 10.1007/3-540-45541-8_6
PDF | BibTeX | RIS | DOI

Jörg Desel, Gabriel Juhás and Robert Lorenz. 2001. Unifying Petri nets with restricted occurrence rule using partial algebra. DOI: 10.1016/s1571-0661(04)80950-2
PDF | BibTeX | RIS | DOI

Jörg Desel, Gabriel Juhás and Robert Lorenz. 2001. VIP-Tool Erweiterung für Signal-Netze.
BibTeX | RIS

Jörg Desel, Gabriel Juhás and Robert Lorenz. 2001. Validierung: (Semi)Formalisierung informaler Spezifikation..
BibTeX | RIS

Gabriel Juhás and Robert Lorenz. 2001. Validierung: inkrementeller Steuerungsentwurf von automatischen Systemen.
BibTeX | RIS

2000

Gabriel Juhás and Robert Lorenz. 2000. Inkrementeller Steuerungsentwurf von Produktionssystemen.
BibTeX | RIS

Jörg Desel, Gabriel Juhás and Robert Lorenz. 2000. Process semantics and process equivalence of NCEM.
BibTeX | RIS

Jörg Desel, Gabriel Juhás and Robert Lorenz. 2000. Process semantics of Petri nets over partial algebra. DOI: 10.1007/3-540-44988-4_10
PDF | BibTeX | RIS | DOI

Suche