Search the dblp DataBase
Robert Lorenz :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gabriel Juhás , Robert Lorenz , Christian Neumair Modelling and Control with Modules of Signal Nets. [Citation Graph (0, 0)][DBLP ] Lectures on Concurrency and Petri Nets, 2003, pp:585-625 [Conf ] Gabriel Juhás , Robert Lorenz , Sebastian Mauser Synchronous + Concurrent + Sequential = Earlier than + Not later than. [Citation Graph (0, 0)][DBLP ] ACSD, 2006, pp:261-272 [Conf ] Robin Bergenthum , Jörg Desel , Gabriel Juhás , Robert Lorenz Can I Execute My Scenario in Your Net? VipTool Tells You! [Citation Graph (0, 0)][DBLP ] ICATPN, 2006, pp:381-390 [Conf ] Jörg Desel , Gabriel Juhás , Robert Lorenz Process Semantics of Petri Nets over Partial Algebra. [Citation Graph (0, 0)][DBLP ] ICATPN, 2000, pp:146-165 [Conf ] Jörg Desel , Gabriel Juhás , Robert Lorenz Petri Nets over Partial Algebra. [Citation Graph (0, 0)][DBLP ] Unifying Petri Nets, 2001, pp:126-172 [Conf ] Gabriel Juhás , Robert Lorenz , Jörg Desel Can I Execute My Scenario in Your Net?. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:289-308 [Conf ] Gabriel Juhás , Robert Lorenz , Christian Neumair Synthesis of Controlled Behavior with Modules of Signal Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2004, pp:238-257 [Conf ] Gabriel Juhás , Robert Lorenz , Tomás Singliar On Synchronicity and Concurrency in Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2003, pp:357-376 [Conf ] Robert Lorenz , Gabriel Juhás Towards Synthesis of Petri Nets from Scenarios. [Citation Graph (0, 0)][DBLP ] ICATPN, 2006, pp:302-321 [Conf ] Jörg Desel , Gabriel Juhás , Robert Lorenz , Christian Neumair Modelling and Validation with VipTool. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2003, pp:380-389 [Conf ] Jörg Desel , Hans-Michael Hanisch , Gabriel Juhás , Robert Lorenz , Christian Neumair A Guide to Modelling and Control with Modules of Signal Nets. [Citation Graph (0, 0)][DBLP ] SoftSpez Final Report, 2004, pp:270-300 [Conf ] Jörg Desel , Gabriel Juhás , Robert Lorenz Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal ] Jörg Desel , Gabriel Juhás , Robert Lorenz Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal ] Robert Lorenz , Sebastian Mauser , Robin Bergenthum Testing the executability of scenarios in general inhibitor nets. [Citation Graph (0, 0)][DBLP ] ACSD, 2007, pp:167-176 [Conf ] Robert Lorenz , Robin Bergenthum , Jörg Desel , Sebastian Mauser Synthesis of Petri Nets from Finite Partial Languages. [Citation Graph (0, 0)][DBLP ] ACSD, 2007, pp:157-166 [Conf ] Gabriel Juhás , Robert Lorenz , Sebastian Mauser Complete Process Semantics for Inhibitor Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2007, pp:184-203 [Conf ] Robert Lorenz , Sebastian Mauser , Robin Bergenthum Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. [Citation Graph (0, 0)][DBLP ] ICATPN, 2007, pp:342-361 [Conf ] Robin Bergenthum , Jörg Desel , Robert Lorenz , Sebastian Mauser Process Mining Based on Regions of Languages. [Citation Graph (0, 0)][DBLP ] BPM, 2007, pp:375-383 [Conf ] Variants of the Language Based Synthesis Problem for Petri Nets. [Citation Graph (, )][DBLP ] Synthesis of Petri nets from infinite partial languages. [Citation Graph (, )][DBLP ] Synthesis of Petri Nets from Scenarios with VipTool. [Citation Graph (, )][DBLP ] Faster Unfolding of General Petri Nets Based on Token Flows. [Citation Graph (, )][DBLP ] Unifying Petri Net Semantics with Token Flows. [Citation Graph (, )][DBLP ] Ein Petrinetz-Modell zur Informationsübertragung per Dialog. [Citation Graph (, )][DBLP ] Towards Synthesis of Petri Nets from General Partial Languages. [Citation Graph (, )][DBLP ] Partial Order Semantics of Types of Nets. [Citation Graph (, )][DBLP ] Semantics of petri nets: a comparison. [Citation Graph (, )][DBLP ] How to synthesize nets from languages: a survey. [Citation Graph (, )][DBLP ] Decision Support with Logical and Fuzzy Petri Nets. [Citation Graph (, )][DBLP ] Modeling the growth of fingerprints improves matching for adolescents [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs