dblp.uni-trier.dewww.uni-trier.de

Robert Lorenz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
32EERobert Lorenz, Gabriel Juhás, Sebastian Mauser: Partial Order Semantics of Types of Nets. SOFSEM 2009: 388-400
31EERobin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz: Construction of Process Models from Example Runs. T. Petri Nets and Other Models of Concurrency 2: 243-259 (2009)
30EERobert 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)
2008
29EERobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Synthesis of Petri nets from infinite partial languages. ACSD 2008: 170-179
28EEMarkus Huber, Christian Kölbl, Robert Lorenz, Günther Wirsching: Ein Petrinetz-Modell zur Informationsübertragung per Dialog. AWPN 2008: 15-24
27EERobert Lorenz: Towards Synthesis of Petri Nets from General Partial Languages. AWPN 2008: 55-62
26EERobin Bergenthum, Robert Lorenz, Sebastian Mauser: Faster Unfolding of General Petri Nets Based on Token Flows. Petri Nets 2008: 13-32
25EERobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Synthesis of Petri Nets from Scenarios with VipTool. Petri Nets 2008: 388-398
24EEFedor Lehocki, Gabriel Juhás, Robert Lorenz, Helena Szczerbicka, Martin Drozda: Decision Support with Logical and Fuzzy Petri Nets. Cybernetics and Systems 39(6): 617-640 (2008)
23EEGabriel Juhás, Robert Lorenz, Sebastian Mauser: Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. Fundam. Inform. 86(3): 255-298 (2008)
22EEGabriel Juhás, Robert Lorenz, Sebastian Mauser: Complete Process Semantics of Petri Nets. Fundam. Inform. 87(3-4): 331-365 (2008)
21EERobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Synthesis of Petri Nets from Finite Partial Languages. Fundam. Inform. 88(4): 437-468 (2008)
2007
20EERobert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser: Synthesis of Petri Nets from Finite Partial Languages. ACSD 2007: 157-166
19EERobert Lorenz, Sebastian Mauser, Robin Bergenthum: Testing the executability of scenarios in general inhibitor nets. ACSD 2007: 167-176
18EERobin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser: Process Mining Based on Regions of Languages. BPM 2007: 375-383
17EEGabriel Juhás, Robert Lorenz, Sebastian Mauser: Complete Process Semantics for Inhibitor Nets. ICATPN 2007: 184-203
16EERobert Lorenz, Sebastian Mauser, Robin Bergenthum: Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN 2007: 342-361
15EEGabriel Juhás, Fedor Lehocki, Robert Lorenz: Semantics of petri nets: a comparison. Winter Simulation Conference 2007: 617-628
14EERobert Lorenz, Sebastian Mauser, Gabriel Juhás: How to synthesize nets from languages: a survey. Winter Simulation Conference 2007: 637-647
2006
13EEGabriel Juhás, Robert Lorenz, Sebastian Mauser: Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD 2006: 261-272
12EERobert Lorenz, Gabriel Juhás: Towards Synthesis of Petri Nets from Scenarios. ICATPN 2006: 302-321
11EERobin 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
10EEGabriel Juhás, Robert Lorenz, Jörg Desel: Can I Execute My Scenario in Your Net?. ICATPN 2005: 289-308
2004
9EEGabriel Juhás, Robert Lorenz, Christian Neumair: Synthesis of Controlled Behavior with Modules of Signal Nets. ICATPN 2004: 238-257
8EEJö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
7EEJörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair: Modelling and Validation with VipTool. Business Process Management 2003: 380-389
6EEGabriel Juhás, Robert Lorenz, Tomás Singliar: On Synchronicity and Concurrency in Petri Nets. ICATPN 2003: 357-376
5EEGabriel Juhás, Robert Lorenz, Christian Neumair: Modelling and Control with Modules of Signal Nets. Lectures on Concurrency and Petri Nets 2003: 585-625
4EEJörg Desel, Gabriel Juhás, Robert Lorenz: Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2001
3EEJörg Desel, Gabriel Juhás, Robert Lorenz: Petri Nets over Partial Algebra. Unifying Petri Nets 2001: 126-172
2EEJörg Desel, Gabriel Juhás, Robert Lorenz: Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. Electr. Notes Theor. Comput. Sci. 44(4): (2001)
2000
1EEJörg Desel, Gabriel Juhás, Robert Lorenz: Process Semantics of Petri Nets over Partial Algebra. ICATPN 2000: 146-165

Coauthor Index

1Robin Bergenthum [11] [16] [18] [19] [20] [21] [25] [26] [29] [30] [31]
2Jörg Desel [1] [2] [3] [4] [7] [8] [10] [11] [18] [20] [21] [25] [29] [30] [31]
3Martin Drozda [24]
4Hans-Michael Hanisch [8]
5Markus Huber [28]
6Gabriel Juhás [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [22] [23] [24] [30] [32]
7Christian Kölbl [28]
8Fedor Lehocki [15] [24]
9Sebastian Mauser [13] [14] [16] [17] [18] [19] [20] [21] [22] [23] [25] [26] [29] [30] [31] [32]
10Christian Neumair [5] [7] [8] [9]
11Tomás Singliar [6]
12Helena Szczerbicka [24]
13Günther Wirsching [28]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)