Frey, G.

• Frey, G.; Felgner, F.:
  Simulative Validierung Petrinetz-basierter Steuerungen durch Transformation in Modelica. 2003.

• Frey, G.:
  An Integrated Approach for the Development of Logic Controllers Based on Signal Interpreted Petri Nets. 2003.

• Klein, S.; Frey, G.; Litz, L.; Lesage, J.-J.:
  Supporting the Changeability of SIPN-based Logic Control Algorithms by Verification and Validation. 2003.

• Frey, G.:
  Hierarchical Design of Logic Controllers using Signal Interpreted Petri Nets. 2003.

• Klein, S.; Frey, G.; Litz, L.:
  Designing fault-tolerant Controllers using SIPN and Model-Checking. 2003.

• Klein, Stéphane; Frey, Georg; Minas, Mark:
  PLC Programming with Signal Interpreted Petri Nets. 2003.

• Frey, Georg:
  Software quality in logic controller programming. 2002.

• Klein, S.; Weng, X.; Frey, G.; Lesage, J.-J.; Litz, L.:
  Controller Design for an FMS using Signal Interpreted Petri Nets and SFC. 2002.

• Minas, M.; Frey, G.:
  Visual PLC-Programming using Signal Interpreted Petri Nets. 2002.

• Frey, Georg:
  Design and formal Analysis of Petri Net based Logic Control Algorithms (Dissertation, University of Kaiserslautern). 2002.

• Klein, S.; Frey, G.; Litz, L.:
  A Petri Net based Approach to the Development of correct Logic Controllers. 2002.

• Frey, G.; Minas, M.; John, K.-H.:
  Integration von Petrinetzen in den Steuerungsentwurf nach IEC61131. 2001.

• Mertke, T.; Frey, G.:
  Formal Verification of PLC-programs generated from Signal Interpreted Petri Nets. 2001.

• Frey, G.; Minas, M.:
  Internet-based development of logic controllers using Signal Interpreted Petri Nets and IEC 61131. 2001.

• Chouikha, M.; Decknatel, G.; Drath, R.; Frey, G.; Muller, C.; Simon, C.; Thieme, J.; Wolter, K.:
  Petri net based descriptions of discrete-continuous systems. 2000.

• Frey, G.:
  Analysis of Petri net based control algorithms - basic properties. 2000.

• Frey, G.:
  Automatic implementation of Petri net based control algorithms on PLC. 2000.

• Frey, G.; Litz, L.:
  Correctness analysis of Petri net based logic controllers. 2000.

• Frey, G.; Litz, L.:
  Transparency analysis of Petri net based logic controllers - a measure for software quality in automation. 2000.

• Frey, G.; Litz, L.; Klöckner, F.:
  Complexity metrics for Petri net based logic control algorithms. 2000.

• Frey, G.; Minas, M.:
  Editing, Visualizing, and Implementing Signal Interpreted Petri Nets. 2000.

• Frey, G.:
  PLC Programming for Hybrid Systems via Signal Interpreted Petri Nets. 2000.

• Frey, G.; Litz, L.:
  XML Based Interchange Format for Petri Nets -- A Control Engineers Point of View. 2000.

• Frey, G.; Schmidt, A.:
  Automatische Erzeugung von SPS-Programmen aus Petrinetzen. 2000.

• Frey, G.:
  Integration of Petri nets into an IEC 1131 Controller Design Environment. 1999.

• Frey, G.; Litz, L.:
  A measure of transparency in net based control algorithms. 1999.

• Frey, G.; MoÑig, K.; Schnabel, M.:
  Assembly line sequencing based on Petri net T-invariants. 1998.

• Frey, Georg; Litz, Lothar:
  Verification and Validation of Control Algorithms by Coupling of Interpreted Petri Nets. 1998.

• Litz, Lothar; Frey, Georg:
  A Senior Course on Logic Process Control based on Petri Nets. 1998.

• Frey, G.:
  Simulation of Hybrid Systems based on Interpreted Petri Nets. 1998.

• Frey, G.; Schettler, H.-G.:
  Algebraic Analysis of Petri Net based Control Algorithms. 1998.

• Frey, G.; Litz, L.:
  Design and formal Verification of Logic Controllers by interpreted Petri Nets. 1998.

Back to the Petri Nets Bibliography