Robert Lorenz - RankMe

54 papers A 2B 8Misc 2Journal 12Unranked 28

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Exploring Complexity: An Extended Study of Formal Properties for Process Model Complexity Measures. CoRR Patrizia Schalk, Adam Burke, Robert Lorenz
2024	B	`conf`	Navigating Complexity: Comparing Complexity Measures With Weyuker's Properties. ICPM Patrizia Schalk, Adam Burke, Robert Lorenz
2024	J	`jnl`	Preface. Fundam. Informaticae Robert Lorenz, Slawomir Lasota
2023	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings Petri Nets Luís Gomes, Robert Lorenz
2022	—	`ed.`	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. ATAED/PN4TT@Petri Nets Luís Gomes, Paulo Leitão, Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst
2022	—	`ed.`	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. ATAED@Petri Nets Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst
2020	—	`conf`	Detecting Infrequent Behavior in Event Logs using Statistical Inference. ATAED@Petri Nets Lisa Petrak, Robert Lorenz
2017	—	`conf`	Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. ATAED@Petri Nets/ACSD Robert Lorenz, Johannes Metzger, Lev Sorokin
2016	—	`conf`	Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context. ATAED@Petri Nets/ACSD Gabriel Juhás, Robert Lorenz
2015	B	`conf`	Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers. Petri Nets Robert Lorenz
2015	J	`jnl`	Verification of Scenarios in Petri Nets Using Compact Tokenflows. Fundam. Informaticae Robin Bergenthum, Robert Lorenz
2014	—	`conf`	Constructing Petri Net Transducers with PNTooL. PNSE @ Petri Nets Markus Huber, Robert Lorenz
2014	B	`conf`	On Weighted Petri Net Transducers. Petri Nets Robert Lorenz, Markus Huber, Günther Wirsching
2014	—	`conf`	Some algebraic aspects of semantic uncertainty and cognitive biases. CogInfoCom Günther Wirsching, Robert Lorenz
2013	J	`jnl`	Models from Scenarios. Trans. Petri Nets Other Model. Concurr. Robert Lorenz, Jörg Desel, Gabriel Juhás
2013	—	`conf`	Towards meaning-oriented language modeling. CogInfoCom Günther Wirsching, Robert Lorenz
2012	—	`conf`	SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets. PNSE Robert Lorenz, Markus Huber, Christoph Etzel, Dan Zecha
2011	—	`conf`	Semantic Dialogue Modeling. COST 2102 Training School Günther Wirsching, Markus Huber, Christian Kölbl, Robert Lorenz, Ronald Römer
2009	J	`jnl`	Construction of Process Models from Example Runs. Trans. Petri Nets Other Model. Concurr. Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
2009	J	`jnl`	Executability of scenarios in Petri nets. Theor. Comput. Sci. Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser
2009	B	`conf`	Partial Order Semantics of Types of Nets. SOFSEM Robert Lorenz, Gabriel Juhás, Sebastian Mauser
2009	J	`jnl`	Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Informaticae Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz
2009	J	`jnl`	Unfolding Semantics of Petri Nets Based on Token Flows. Fundam. Informaticae Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás
2009	B	`conf`	Unifying Petri Net Semantics with Token Flows. Petri Nets Gabriel Juhás, Robert Lorenz, Jörg Desel
2009	—	`conf`	Variants of the Language Based Synthesis Problem for Petri Nets. ACSD Sebastian Mauser, Robert Lorenz
2008	J	`jnl`	Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. Fundam. Informaticae Gabriel Juhás, Robert Lorenz, Sebastian Mauser
2008	J	`jnl`	Complete Process Semantics of Petri Nets. Fundam. Informaticae Gabriel Juhás, Robert Lorenz, Sebastian Mauser
2008	J	`jnl`	Decision Support with Logical and Fuzzy Petri Nets. Cybern. Syst. Fedor Lehocki, Gabriel Juhás, Robert Lorenz, Helena Szczerbicka, Martin Drozda
2008	—	`conf`	Ein Petrinetz-Modell zur Informationsübertragung per Dialog. AWPN Markus Huber, Christian Kölbl, Robert Lorenz, Günther Wirsching
2008	B	`conf`	Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets Robin Bergenthum, Robert Lorenz, Sebastian Mauser
2008	J	`jnl`	Synthesis of Petri Nets from Finite Partial Languages. Fundam. Informaticae Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2008	B	`conf`	Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2008	—	`conf`	Synthesis of Petri nets from infinite partial languages. ACSD Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2008	—	`conf`	Towards Synthesis of Petri Nets from General Partial Languages. AWPN Robert Lorenz
2007	—	`conf`	Complete Process Semantics for Inhibitor Nets. ICATPN Gabriel Juhás, Robert Lorenz, Sebastian Mauser
2007	Misc	`conf`	How to synthesize nets from languages: a survey. WSC Robert Lorenz, Sebastian Mauser, Gabriel Juhás
2007	A	`conf`	Process Mining Based on Regions of Languages. BPM Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
2007	Misc	`conf`	Semantics of petri nets: a comparison. WSC Gabriel Juhás, Fedor Lehocki, Robert Lorenz
2007	—	`conf`	Synthesis of Petri Nets from Finite Partial Languages. ACSD Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser
2007	—	`conf`	Testing the executability of scenarios in general inhibitor nets. ACSD Robert Lorenz, Sebastian Mauser, Robin Bergenthum
2007	—	`conf`	Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN Robert Lorenz, Sebastian Mauser, Robin Bergenthum
2006	—	`conf`	Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz
2006	—	`conf`	Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD Gabriel Juhás, Robert Lorenz, Sebastian Mauser
2006	—	`conf`	Towards Synthesis of Petri Nets from Scenarios. ICATPN Robert Lorenz, Gabriel Juhás
2005	—	`conf`	Can I Execute My Scenario in Your Net?. ICATPN Gabriel Juhás, Robert Lorenz, Jörg Desel
2004	—	`conf`	A Guide to Modelling and Control with Modules of Signal Nets. SoftSpez Final Report Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair
2004	—	`conf`	Synthesis of Controlled Behavior with Modules of Signal Nets. ICATPN Gabriel Juhás, Robert Lorenz, Christian Neumair
2003	—	`conf`	Modelling and Control with Modules of Signal Nets. Lectures on Concurrency and Petri Nets Gabriel Juhás, Robert Lorenz, Christian Neumair
2003	A	`conf`	Modelling and Validation with VipTool. Business Process Management Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair
2003	—	`conf`	On Synchronicity and Concurrency in Petri Nets. ICATPN Gabriel Juhás, Robert Lorenz, Tomás Singliar
2003	—	`conf`	Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. UNIGRA Jörg Desel, Gabriel Juhás, Robert Lorenz
2001	—	`conf`	Petri Nets over Partial Algebra. Unifying Petri Nets Jörg Desel, Gabriel Juhás, Robert Lorenz
2001	—	`conf`	Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. UNIGRA Jörg Desel, Gabriel Juhás, Robert Lorenz
2000	—	`conf`	Process Semantics of Petri Nets over Partial Algebra. ICATPN Jörg Desel, Gabriel Juhás, Robert Lorenz