Process Semantics of Petri Nets over Partial Algebra. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (ICATPN, 2000)

Petri Nets over Partial Algebra. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (Unifying Petri Nets, 2001)

Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (UNIGRA, 2001)

Modelling and Control with Modules of Signal Nets. - Gabriel Juhás; Robert Lorenz 001; Christian Neumair (Lectures on Concurrency and Petri Nets, 2003)

On Synchronicity and Concurrency in Petri Nets. - Gabriel Juhás; Robert Lorenz 001; Tomás Singliar (ICATPN, 2003)

Modelling and Validation with VipTool. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001; Christian Neumair (Business Process Management, 2003)

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (UNIGRA, 2003)

Synthesis of Controlled Behavior with Modules of Signal Nets. - Gabriel Juhás; Robert Lorenz 001; Christian Neumair (ICATPN, 2004)

A Guide to Modelling and Control with Modules of Signal Nets. - Jörg Desel; Hans-Michael Hanisch; Gabriel Juhás; Robert Lorenz 001; Christian Neumair (SoftSpez Final Report, 2004)

Can I Execute My Scenario in Your Net?. - Gabriel Juhás; Robert Lorenz 001; Jörg Desel (ICATPN, 2005)

Synchronous + Concurrent + Sequential = Earlier than + Not later than. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (ACSD, 2006)

Can I Execute My Scenario in Your Net? VipTool Tells You! - Robin Bergenthum; Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (ICATPN, 2006)

Towards Synthesis of Petri Nets from Scenarios. - Robert Lorenz 001; Gabriel Juhás (ICATPN, 2006)

Testing the executability of scenarios in general inhibitor nets. - Robert Lorenz 001; Sebastian Mauser; Robin Bergenthum (ACSD, 2007)

Complete Process Semantics for Inhibitor Nets. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (ICATPN, 2007)

Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. - Robert Lorenz 001; Sebastian Mauser; Robin Bergenthum (ICATPN, 2007)

Process Mining Based on Regions of Languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (BPM, 2007)

Semantics of petri nets: a comparison. - Gabriel Juhás; Fedor Lehocki; Robert Lorenz 001 (WSC, 2007)

How to synthesize nets from languages: a survey. - Robert Lorenz 001; Sebastian Mauser; Gabriel Juhás (WSC, 2007)

Synthesis of Petri nets from infinite partial languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (ACSD, 2008)

Synthesis of Petri Nets from Scenarios with VipTool. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (Petri Nets, 2008)

Faster Unfolding of General Petri Nets Based on Token Flows. - Robin Bergenthum; Robert Lorenz 001; Sebastian Mauser (Petri Nets, 2008)

Ein Petrinetz-Modell zur Informationsübertragung per Dialog. - Markus Huber 006; Christian Kölbl; Robert Lorenz 001; Günther Wirsching (AWPN, 2008)

Towards Synthesis of Petri Nets from General Partial Languages. - Robert Lorenz 001 (AWPN, 2008)

Decision Support with Logical and Fuzzy Petri Nets. - Fedor Lehocki; Gabriel Juhás; Robert Lorenz 001; Helena Szczerbicka; Martin Drozda (Cybern. Syst., 2008)

Synthesis of Petri Nets from Finite Partial Languages. - Robin Bergenthum; Jörg Desel; Robert Lorenz 001; Sebastian Mauser (Fundam. Informaticae, 2008)

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (Fundam. Informaticae, 2008)

Complete Process Semantics of Petri Nets. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (Fundam. Informaticae, 2008)

Variants of the Language Based Synthesis Problem for Petri Nets. - Sebastian Mauser; Robert Lorenz 001 (ACSD, 2009)

Unifying Petri Net Semantics with Token Flows. - Gabriel Juhás; Robert Lorenz 001; Jörg Desel (Petri Nets, 2009)

Partial Order Semantics of Types of Nets. - Robert Lorenz 001; Gabriel Juhás; Sebastian Mauser (SOFSEM, 2009)

Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. - Robin Bergenthum; Jörg Desel; Sebastian Mauser; Robert Lorenz 001 (Fundam. Informaticae, 2009)

Unfolding Semantics of Petri Nets Based on Token Flows. - Robin Bergenthum; Sebastian Mauser; Robert Lorenz 001; Gabriel Juhás (Fundam. Informaticae, 2009)

Executability of scenarios in Petri nets. - Robert Lorenz 001; Gabriel Juhás; Robin Bergenthum; Jörg Desel; Sebastian Mauser (Theor. Comput. Sci., 2009)

Construction of Process Models from Example Runs. - Robin Bergenthum; Jörg Desel; Sebastian Mauser; Robert Lorenz 001 (Trans. Petri Nets Other Model. Concurr., 2009)

Semantic Dialogue Modeling. - Günther Wirsching; Markus Huber 006; Christian Kölbl; Robert Lorenz 001; Ronald Römer (COST 2102 Training School, 2011)

SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets. - Robert Lorenz 001; Markus Huber 006; Christoph Etzel; Dan Zecha (PNSE, 2012)

Towards meaning-oriented language modeling. - Günther Wirsching; Robert Lorenz 001 (CogInfoCom, 2013)

Models from Scenarios. - Robert Lorenz 001; Jörg Desel; Gabriel Juhás (Trans. Petri Nets Other Model. Concurr., 2013)

On Weighted Petri Net Transducers. - Robert Lorenz 001; Markus Huber 006; Günther Wirsching (Petri Nets, 2014)

Constructing Petri Net Transducers with PNTooL. - Markus Huber 006; Robert Lorenz 001 (PNSE @ Petri Nets, 2014)

Some algebraic aspects of semantic uncertainty and cognitive biases. - Günther Wirsching; Robert Lorenz 001 (CogInfoCom, 2014)

Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers. - Robert Lorenz 001 (Petri Nets, 2015)

Verification of Scenarios in Petri Nets Using Compact Tokenflows. - Robin Bergenthum; Robert Lorenz 001 (Fundam. Informaticae, 2015)

Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context. - Gabriel Juhás; Robert Lorenz 001 (ATAED@Petri Nets/ACSD, 2016)

Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. - Robert Lorenz 001; Johannes Metzger; Lev Sorokin (ATAED@Petri Nets/ACSD, 2017)

Detecting Infrequent Behavior in Event Logs using Statistical Inference. - Lisa Petrak; Robert Lorenz 001 (ATAED@Petri Nets, 2020)

Navigating Complexity: Comparing Complexity Measures With Weyuker's Properties. - Patrizia Schalk; Adam Burke 001; Robert Lorenz 001 (ICPM, 2024)

Exploring Complexity: An Extended Study of Formal Properties for Process Model Complexity Measures. - Patrizia Schalk; Adam Burke 001; Robert Lorenz 001 (CoRR, 2024)

Preface. - Robert Lorenz 001; Slawomir Lasota 001 (Fundam. Informaticae, 2024)