Robert Lorenz

Publication Activity (10 Years)

Years Active: 2000-2020
Publications (10 Years): 3

Top Topics

High Level Petri Nets

Concurrent Systems

Top Venues

ATAED@Petri Nets/ACSD

Trans. Petri Nets Other Model. Concurr.

Publications

Lisa Petrak, Robert Lorenz
Detecting Infrequent Behavior in Event Logs using Statistical Inference. ATAED@Petri Nets (2020)
Robert Lorenz, Johannes Metzger, Lev Sorokin
Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. ATAED@Petri Nets/ACSD (2017)
Gabriel Juhás, Robert Lorenz
Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context. ATAED@Petri Nets/ACSD (2016)
Robert Lorenz
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers. Petri Nets (2015)
Robin Bergenthum, Robert Lorenz
Verification of Scenarios in Petri Nets Using Compact Tokenflows. Fundam. Informaticae 137 (1) (2015)
Günther Wirsching, Robert Lorenz
Some algebraic aspects of semantic uncertainty and cognitive biases. CogInfoCom (2014)
Markus Huber, Robert Lorenz
Constructing Petri Net Transducers with PNTooL. PNSE @ Petri Nets (2014)
Robert Lorenz, Markus Huber, Günther Wirsching
On Weighted Petri Net Transducers. Petri Nets (2014)
Günther Wirsching, Robert Lorenz
Towards meaning-oriented language modeling. CogInfoCom (2013)
Robert Lorenz, Jörg Desel, Gabriel Juhás
Models from Scenarios. Trans. Petri Nets Other Model. Concurr. 7 (2013)
Robert Lorenz, Markus Huber, Christoph Etzel, Dan Zecha
SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets. PNSE (2012)
Günther Wirsching, Markus Huber, Christian Kölbl, Robert Lorenz, Ronald Römer
Semantic Dialogue Modeling. COST 2102 Training School (2011)
Sebastian Mauser, Robert Lorenz
Variants of the Language Based Synthesis Problem for Petri Nets. ACSD (2009)
Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Informaticae 95 (1) (2009)
Robert Lorenz, Gabriel Juhás, Sebastian Mauser
Partial Order Semantics of Types of Nets. SOFSEM (2009)
Gabriel Juhás, Robert Lorenz, Jörg Desel
Unifying Petri Net Semantics with Token Flows. Petri Nets (2009)
Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser
Executability of scenarios in Petri nets. Theor. Comput. Sci. 410 (12-13) (2009)
Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. 2 (2009)
Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás
Unfolding Semantics of Petri Nets Based on Token Flows. Fundam. Informaticae 94 (3-4) (2009)
Robin Bergenthum, Robert Lorenz, Sebastian Mauser
Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets (2008)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. Fundam. Informaticae 86 (3) (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Synthesis of Petri nets from infinite partial languages. ACSD (2008)
Markus Huber, Christian Kölbl, Robert Lorenz, Günther Wirsching
Ein Petrinetz-Modell zur Informationsübertragung per Dialog. AWPN (2008)
Robert Lorenz
Towards Synthesis of Petri Nets from General Partial Languages. AWPN (2008)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Complete Process Semantics of Petri Nets. Fundam. Informaticae 87 (3-4) (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets (2008)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae 88 (4) (2008)
Fedor Lehocki, Gabriel Juhás, Robert Lorenz, Helena Szczerbicka, Martin Drozda
Decision Support with Logical and Fuzzy Petri Nets. Cybern. Syst. 39 (6) (2008)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Complete Process Semantics for Inhibitor Nets. ICATPN (2007)
Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser
Synthesis of Petri Nets from Finite Partial Languages. ACSD (2007)
Robert Lorenz, Sebastian Mauser, Robin Bergenthum
Testing the executability of scenarios in general inhibitor nets. ACSD (2007)
Robert Lorenz, Sebastian Mauser, Gabriel Juhás
How to synthesize nets from languages: a survey. WSC (2007)
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
Process Mining Based on Regions of Languages. BPM (2007)
Robert Lorenz, Sebastian Mauser, Robin Bergenthum
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN (2007)
Gabriel Juhás, Fedor Lehocki, Robert Lorenz
Semantics of petri nets: a comparison. WSC (2007)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD (2006)
Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz
Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN (2006)
Robert Lorenz, Gabriel Juhás
Towards Synthesis of Petri Nets from Scenarios. ICATPN (2006)
Gabriel Juhás, Robert Lorenz, Jörg Desel
Can I Execute My Scenario in Your Net?. ICATPN (2005)
Gabriel Juhás, Robert Lorenz, Christian Neumair
Synthesis of Controlled Behavior with Modules of Signal Nets. ICATPN (2004)
Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair
A Guide to Modelling and Control with Modules of Signal Nets. SoftSpez Final Report (2004)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Gabriel Juhás, Robert Lorenz, Christian Neumair
Modelling and Control with Modules of Signal Nets. Lectures on Concurrency and Petri Nets (2003)
Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair
Modelling and Validation with VipTool. Business Process Management (2003)
Gabriel Juhás, Robert Lorenz, Tomás Singliar
On Synchronicity and Concurrency in Petri Nets. ICATPN (2003)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Petri Nets over Partial Algebra. Unifying Petri Nets (2001)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Process Semantics of Petri Nets over Partial Algebra. ICATPN (2000)