Workshop papers

2008

• Ein Petrinetz-Modell zur Informationsübertragung per Dialog
  Markus Huber, Christian Kölbl, Robert Lorenz, Günther Wirsching
  15th German Workshop on Algorithms and Tools for Petri Nets (AWPN) 2008, pages 15-24.
• Towards Synthesis of Petri Nets from General Partial Languages
  Robert Lorenz
  Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets (AWPN) 2008, pages 55-62.

2007

• Faster Unfolding of General Petri Nets
  Robin Bergenthum, Robert Lorenz, Sebastian Mauser
  Proceedings of the 14th German Workshop on Algorithms and Tools for Petri Nets (AWPN) 2007, pages 63 – 68.
• Towards Applicability of Language Based Synthesis for Process Mining
  Robin Bergenthum, Robert Lorenz, Sebastian Mauser
  Proceedings of the 14th German Workshop on Algorithms and Tools for Petri Nets (AWPN) 2007, pages 45 – 50.

2006

• Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen
  Robin Bergenthum, Robert Lorenz, Sebastian Mauser
  Proceedings of the 13th German Workshop on Algorithms and Tools for Petri Nets (AWPN) 2006, pages 9 - 17.
• Synthese von S/T-Netzen aus unendlichen partiellen Sprachen
  Robin Bergenthum, Robert Lorenz, Sebastian Mauser
  Proceedings of the 13th German Workshop on Algorithms and Tools for Petri Nets (AWPN), 2006, pages 1 – 8

2004

• Modelling Time in Signal Nets
  Gabriel Juhás, Robert Lorenz
  Proceedings of the 11th German Workshop on Algorithms and Tools for Petri Nets (AWPN) 2004.
• Modellierung und Steuerungsentwurf mit Signalnetz-Systemen
  Jörg Desel, Gabriel Juhás, Robert Lorenz
  Abschlusskolloquium DFG-Schwerpunktprogramm ''Softspez'' (2004).

2003

• Modellierung, Komposition, Semantik, Verhalten
  Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair
  6. Kolloquium des DFG-Schwerpunktprogramms ''Softspez'' (2003).
• Modelling and Control with Modules of Petri Nets
  Gabriel Juhás, Robert Lorenz, Christian Neumair
  Themenworkshop ''Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen'', DFG-Schwerpunktprogramm ''Softspez'', Stuttgart , (2003).

2002

• Von Prozesstermen zu partiellen Ordnungen
  Gabriel Juhás, Robert Lorenz
  Themenworkshop ''Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen'', DFG-Schwerpunktprogramm ''Softspez'', Halle, (2002).

2001

• Modelling with Petri Modules: Composition Preserving Equivalence
  Jörg Desel, Gabriel Juhás, Robert Lorenz
  Proceedings of the 8th German Workshop on Algorithms and Tools for Petri Nets (AWPN) 2001.
• VIP-Tool Erweiterung für Signal-Netze
  Jörg Desel, Gabriel Juhás, Robert Lorenz
  Proceedings of the 8th German Workshop on Algorithms and Tools for Petri Nets (AWPN), 2001
• Validierung: (Semi)Formalisierung informaler Spezifikation.
  Jörg Desel, Gabriel Juhás, Robert Lorenz
  Themenworkshop ''Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen'', DFG-Schwerpunktprogramm ''Softspez'' , Berlin, (2001).
• Validierung: Inkrementeller Steuerungsentwurf von automatischen Systemen
  Gabriel Juhás, Robert Lorenz
  Themenworkshop ''Modelltransformation und Werkzeugkopplung'', DFG-Schwerpunktprogramm ''Softspez'', Braunschweig, (2001).

2000

• Inkrementeller Steuerungsentwurf von Produktionssystemen
  Gabriel Juhás, Robert Lorenz
  Inkrementeller Steuerungsentwurf von Produktionssystemen, 3. Kolloquium DFG-Schwerpunktprogramm ''Softspez'' (2000).
• Process semantics and process equivalence of NCEM
  Jörg Desel, Gabriel Juhás, Robert Lorenz
  Proceedings of the 7th German Workshop on Algorithms and Tools for Petri Nets (AWPN), 2000.