Keyword: programmable logic controller

• Cansever, G.; Kucukdemiral, I. B.:
  A new approach to supervisor design with sequential control Petri-net using minimization technique for discrete event system. 2006.

• Karlik, B.; Uzam, M.; Cinsdikici, M.; Jones, A. H.:
  Neurovision-based logic control of an experimental manufacturing plant using neural net le-net5 and automation Petri nets. 2005.

• Orth, Philipp; Bollig, Alexander; Abel, Dirk:
  Rapid Prototyping of Sequential Controllers With Petri Nets. 2005.

• Heiner, M.; Menzel, T.:
  A Petri Net Semantics for the PLC Language Instruction List. 1998.

• Heiner, M.; Menzel, T.:
  Instruction List Verification Using a Petri Net Semantics. 1998.

• Heiner, Monika:
  On Exploiting the Analysis Power of Petri nets for the Validation of Discrete Event Systems. 1997.

• Heiner, Monika:
  Verification and Optimization of Control Programs by Petri Nets without State Explosion. 1997.

• Boucher, T.O.; Jafari, M.A.; Meredith, G.A.:
  Petri Net Control of an Automated Manufacturing Cell. 1990.

• Boucher, T.O.; Jafari, M.A.; Meredith, G.A.:
  Petri Net Control of an Automated Manufacturing Cell. 1989.

• Fristacky, N.; Kolesar, M.:
  Modular Parallel Programs and their Implememtation in Programmable Logic Controllers. 1988.

Back to the Petri Nets Bibliography