Conference papers

2009

• Semantische Dialogmodellierung mit gewichteten Merkmal-Werte-Relationen
  Markus Huber, Christian Kölbl, Robert Lorenz, Ronald Römer, Günther Wirsching
  Proceedings der 20. Fachtagung Elektronische Sprachsignalverarbeitung (ESSV) 2009, pages 25 – 32.
• Variants of the Language Based Synthesis Problem for Petri Nets
  Sebastian Mauser, Robert Lorenz
  Proceedings of the 9th International Conference on Application of Concurrency to System Design (ACSD) 2009, pages 89 – 98.
• Unifying Petri Net Semantics with Token Flows
  Gabriel Juhás, Robert Lorenz, Jörg Desel
  Proceedings of the 30th International Conference on Application and Theory of Petri Nets (ATPN) 2009, LNCS 5606, pages 2-21.
• Partial Order Semantics of Types of Nets
  Robert Lorenz, Gabriel Juhás, Sebastian Mauser
  Proceedings of 35th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) 2009, LNCS 5404, pages 388-400.

2008

• Extended Fuzzy Petri nets for Decision Support
  Martin Drozda, Gabriel Juhás, Robert Lorenz, Fedor Lehocki
  Proceedings of the 1st International Symposium on Applied Sciences in Biomedical and Communication Technologies (ISABEL) (2008), pages 1-5.
• Synthesis of Petri nets from infinite partial languages
  Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
  Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD) 2008, pages 170-179.
• Faster Unfolding of General Petri Nets Based on Token Flows
  Robin Bergenthum, Robert Lorenz, Sebastian Mauser
  Proceedings of the 29th International Conference on Application and Theory of Petri Nets (ATPN) 2008, LNCS 5062, pages 13-32.
• Synthesis of Petri Nets from Scenarios with VIPtool.
  Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
  Proceedings of the 29th International Conference on Application and Theory of Petri Nets (ATPN) 2008, LNCS 5062, pages 388-398.

2007

• How to Synthesize Nets from Languages - a Survey
  Robert Lorenz, Sebastian Mauser, Gabriel Juhás
  Proceedings of the Wintersimulation Conference (WSC) 2007, pages 637 – 647.
• Semantics of Petri Nets: A Comparison
  Gabriel Juhás, Fedor Lehocki, Robert Lorenz
  Proceedings of the Wintersimulation Conference (WSC) 2007, pages 617 – 628.
• Process Mining based on regions of Languages.
  Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
  Proceedings of the 5th International Conference on Business Process Management (BPM) 2007, LNCS 4714, pages 375 – 383.
• Testing the executability of scenarios in general inhibitor nets
  Robert Lorenz, Robin Bergenthum, Sebastian Mauser
  Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD) 2007, pages 167 – 176.
• Synthesis of Petri nets from finite partial languages
  Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser
  Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD) 2007, pages 157 – 166.
• Complete process semantics for inhibitor nets.
  Gabriel Juhás, Robert Lorenz, Sebastian Mauser
  Proceedings of the 28th International Conference on Application and Theory of Petri Nets (ATPN) 2007, LNCS 4546, pages 184 – 203.
• Theory of regions for the synthesis of inhibitor nets from scenarios.
  Robert Lorenz, Robin Bergenthum, Sebastian Mauser
  Proceedings of the 28th International Conference on Application and Theory of Petri Nets (ATPN) 2007, LNCS 4546, pages 342 – 361.

2006

• Synchronous + Concurrent + Sequential = Earlier than + Not later than
  Gabriel Juhás, Robert Lorenz, Sebastian Mauser
  Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD) 2006, pages 261 – 270.
• Can I Execute my Scenario in your Net? VIPtool Tells you!
  Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz
  Proceedings of the 27th International Conference on Application and Theory of Petri Nets (ATPN) 2006, LNCS 4024, pages 381-390.
• Towards Synthesis of Petri Nets from Scenarios
  Robert Lorenz, Gabriel Juhás
  Proceedings of the 27th International Conference on Application and Theory of Petri Nets (ATPN) 2006, LNCS 4024, pages 302 - 321.

2005

• Can I Execute my Scenario in your Net?
  Gabriel Juhás, Robert Lorenz, Jörg Desel
  Proceedings of the 26th International Conference on Application and Theory of Petri Nets (ATPN) 2005, LNCS 3536, pages 289-308.

2004

• Synthesis of Controlled Behavior with Modules of Signal Nets
  Gabriel Juhás, Robert Lorenz, Christian Neumair
  Proceedings of the 25th International Conference on Application and Theory of Petri Nets (ATPN) 2004, LNCS 3099, pages 238-257.

2003

• On Synchronicity and Concurrency in Petri Nets
  Gabriel Juhás, Robert Lorenz, Thomas Singlair
  Proceedings of the 24th International Conference on Application and Theory of Petri Nets (ATPN) 2003, LNCS 2679, pages 357 – 376.
• Modelling and Validation with VIPtool
  Jörg Desel, Gabriel Juhás, Robert Lorenz, Vesna Milijic, Christian Neumair
  Proceedings of the 1st International Conference on Business Process Management (BPM) 2003, LNCS 2678, pages 380 – 389.
• Modellierung von Steuerungssystemen mit Signal-Petrinetzen
  Jörg Desel, Gabriel Juhás, Robert Lorenz, Vesna Milijic, Christian Neumair, Rainer Schieber
  Eine Fallstudie aus der Automobilindustrie. Proceedings der 8. Fachtagung über den Entwurf komplexer Automatisierungssysteme (EKA) 2003, pages 15-23.

2002

• Input/Output Equivalence of Petri Modules.
  Jörg Desel, Gabriel Juhás, Robert Lorenz
  Proceedings of the 6th Biennal World Conference on Integrated Design and Process Technology (IDPT), Pasadena, California, 2002.

2000

• Process Semantics of Petri Nets over Partial Algebra
  Jörg Desel, Gabriel Juhás, Robert Lorenz
  Proceedings of the 21th International Conference on Application and Theory of Petri Nets, (ICATPN )2000, LNCS 1825, pages 146-165.