default search action

combined dblp search
author search
venue search
publication search

ask others

Robert Lorenz 0001

> Home > Persons

Person information

affiliation: University of Augsburg, Department of Computer Science, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LorenzL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LorenzL24
Robert Lorenz, Slawomir Lasota:
Preface. Fundam. Informaticae 192(3-4) (2024)
2015
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Bergenthum015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Bergenthum015
Robin Bergenthum, Robert Lorenz:
Verification of Scenarios in Petri Nets Using Compact Tokenflows. Fundam. Informaticae 137(1): 117-142 (2015)
2013
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/0001DJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/0001DJ13
Robert Lorenz, Jörg Desel, Gabriel Juhás:
Models from Scenarios. Trans. Petri Nets Other Model. Concurr. 7: 314-371 (2013)
2009
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BergenthumMLJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BergenthumMLJ09
Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás:
Unfolding Semantics of Petri Nets Based on Token Flows. Fundam. Informaticae 94(3-4): 331-360 (2009)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BergenthumDML09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BergenthumDML09
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): 187-217 (2009)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LorenzJBDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LorenzJBDM09
Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Executability of scenarios in Petri nets. Theor. Comput. Sci. 410(12-13): 1190-1216 (2009)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/BergenthumDML09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/BergenthumDML09
Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz:
Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. 2: 243-259 (2009)
2008
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/cas/LehockiJLSD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cas/LehockiJLSD08
Fedor Lehocki, Gabriel Juhás, Robert Lorenz, Helena Szczerbicka, Martin Drozda:
Decision Support with Logical and Fuzzy Petri Nets. Cybern. Syst. 39(6): 617-640 (2008)
[j3]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/JuhasLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JuhasLM08
Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. Fundam. Informaticae 86(3): 255-298 (2008)
[j2]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/JuhasLM08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JuhasLM08a
Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Complete Process Semantics of Petri Nets. Fundam. Informaticae 87(3-4): 331-365 (2008)
[j1]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/BergenthumDLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BergenthumDLM08
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae 88(4): 437-468 (2008)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/icpm/SchalkBL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpm/SchalkBL24
Patrizia Schalk, Adam Burke, Robert Lorenz:
Navigating Complexity: Comparing Complexity Measures With Weyuker's Properties. ICPM 2024: 145-152
2020
[c38]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/PetrakL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PetrakL20
Lisa Petrak, Robert Lorenz:
Detecting Infrequent Behavior in Event Logs using Statistical Inference. ATAED@Petri Nets 2020: 33-48
2017
[c37]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/LorenzMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LorenzMS17
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: 21-38
2016
[c36]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/Juhas016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Juhas016
Gabriel Juhás, Robert Lorenz:
Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context. ATAED@Petri Nets/ACSD 2016: 58-77
2015
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Lorenz15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Lorenz15
Robert Lorenz:
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers. Petri Nets 2015: 49-76
2014
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/0001HW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/0001HW14
Robert Lorenz, Markus Huber, Günther Wirsching:
On Weighted Petri Net Transducers. Petri Nets 2014: 233-252
[c33]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/Huber014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Huber014
Markus Huber, Robert Lorenz:
Constructing Petri Net Transducers with PNTooL. PNSE @ Petri Nets 2014: 339-341
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/coginfocom/Wirsching014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coginfocom/Wirsching014
Günther Wirsching, Robert Lorenz:
Some algebraic aspects of semantic uncertainty and cognitive biases. CogInfoCom 2014: 555-560
2013
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/coginfocom/WirschingL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coginfocom/WirschingL13
Günther Wirsching, Robert Lorenz:
Towards meaning-oriented language modeling. CogInfoCom 2013: 369-374
2012
[c30]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/0001HEZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/0001HEZ12
Robert Lorenz, Markus Huber, Christoph Etzel, Dan Zecha:
SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets. PNSE 2012: 237-252
2011
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/cost/WirschingHKLR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cost/WirschingHKLR11
Günther Wirsching, Markus Huber, Christian Kölbl, Robert Lorenz, Ronald Römer:
Semantic Dialogue Modeling. COST 2102 Training School 2011: 104-113
2009
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/MauserL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/MauserL09
Sebastian Mauser, Robert Lorenz:
Variants of the Language Based Synthesis Problem for Petri Nets. ACSD 2009: 89-98
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLD09
Gabriel Juhás, Robert Lorenz, Jörg Desel:
Unifying Petri Net Semantics with Token Flows. Petri Nets 2009: 2-21
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/LorenzJM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/LorenzJM09
Robert Lorenz, Gabriel Juhás, Sebastian Mauser:
Partial Order Semantics of Types of Nets. SOFSEM 2009: 388-400
2008
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BergenthumDLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BergenthumDLM08
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri nets from infinite partial languages. ACSD 2008: 170-179
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BergenthumLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BergenthumLM08
Robin Bergenthum, Robert Lorenz, Sebastian Mauser:
Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets 2008: 13-32
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BergenthumDLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BergenthumDLM08
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets 2008: 388-398
[c22]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/awpn/HuberKLW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/awpn/HuberKLW08
Markus Huber, Christian Kölbl, Robert Lorenz, Günther Wirsching:
Ein Petrinetz-Modell zur Informationsübertragung per Dialog. AWPN 2008: 15-24
[c21]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/awpn/Lorenz08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/awpn/Lorenz08
Robert Lorenz:
Towards Synthesis of Petri Nets from General Partial Languages. AWPN 2008: 55-62
2007
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/LorenzBDM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/LorenzBDM07
Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Synthesis of Petri Nets from Finite Partial Languages. ACSD 2007: 157-166
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/LorenzMB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/LorenzMB07
Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Testing the executability of scenarios in general inhibitor nets. ACSD 2007: 167-176
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLM07
Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Complete Process Semantics for Inhibitor Nets. ICATPN 2007: 184-203
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LorenzMB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LorenzMB07
Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN 2007: 342-361
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/BergenthumDLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/BergenthumDLM07
Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser:
Process Mining Based on Regions of Languages. BPM 2007: 375-383
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/JuhasLL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/JuhasLL07
Gabriel Juhás, Fedor Lehocki, Robert Lorenz:
Semantics of petri nets: a comparison. WSC 2007: 617-628
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/LorenzMJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/LorenzMJ07
Robert Lorenz, Sebastian Mauser, Gabriel Juhás:
How to synthesize nets from languages: a survey. WSC 2007: 637-647
2006
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/JuhasLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/JuhasLM06
Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD 2006: 261-272
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LorenzJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LorenzJ06
Robert Lorenz, Gabriel Juhás:
Towards Synthesis of Petri Nets from Scenarios. ICATPN 2006: 302-321
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BergenthumDJL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BergenthumDJL06
Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz:
Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN 2006: 381-390
2005
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLD05
Gabriel Juhás, Robert Lorenz, Jörg Desel:
Can I Execute My Scenario in Your Net?. ICATPN 2005: 289-308
2004
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLN04
Gabriel Juhás, Robert Lorenz, Christian Neumair:
Synthesis of Controlled Behavior with Modules of Signal Nets. ICATPN 2004: 238-257
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/DeselHJLN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/DeselHJLN04
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: 270-300
2003
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/JuhasLN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/JuhasLN03
Gabriel Juhás, Robert Lorenz, Christian Neumair:
Modelling and Control with Modules of Signal Nets. Lectures on Concurrency and Petri Nets 2003: 585-625
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLS03
Gabriel Juhás, Robert Lorenz, Tomás Singliar:
On Synchronicity and Concurrency in Petri Nets. ICATPN 2003: 357-376
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/DeselJLN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/DeselJLN03
Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair:
Modelling and Validation with VipTool. Business Process Management 2003: 380-389
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DeselJL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DeselJL03
Jörg Desel, Gabriel Juhás, Robert Lorenz:
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. UNIGRA 2003: 46-62
2001
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeselJL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeselJL01
Jörg Desel, Gabriel Juhás, Robert Lorenz:
Petri Nets over Partial Algebra. Unifying Petri Nets 2001: 126-172
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DeselJL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DeselJL01
Jörg Desel, Gabriel Juhás, Robert Lorenz:
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. UNIGRA 2001: 163-187
2000
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeselJL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeselJL00
Jörg Desel, Gabriel Juhás, Robert Lorenz:
Process Semantics of Petri Nets over Partial Algebra. ICATPN 2000: 146-165

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2023
Luís Gomes, Robert Lorenz:
Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings. Lecture Notes in Computer Science 13929, Springer 2023, ISBN 978-3-031-33619-5 [contents]
2022
[e2]
- view
- export record
  dblp key:
  - conf/apn/2022ataed
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2022ataed
Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst:
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. CEUR Workshop Proceedings 3167, CEUR-WS.org 2022 [contents]
[e1]
- view
- export record
  dblp key:
  - conf/apn/2023ataed
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2023ataed
Luís Gomes, Paulo Leitão, Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst:
Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023. CEUR Workshop Proceedings 3424, CEUR-WS.org 2022 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-09871
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-09871
Patrizia Schalk, Adam Burke, Robert Lorenz:
Exploring Complexity: An Extended Study of Formal Properties for Process Model Complexity Measures. CoRR abs/2408.09871 (2024)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.