Litz, L.

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

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

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

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

• 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.

• Xiying, W.; Merz, R.M.; Litz, L.:
  TSIPN Framework for Formal Specification of Logic Control Systems. 2000.

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

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

• 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.; Litz, L.:
  Design and formal Verification of Logic Controllers by interpreted Petri Nets. 1998.

Back to the Petri Nets Bibliography