An improved evaluation of ladder logic diagrams and Petri nets for the sequence controller design in manufacturing systems

Petri nets for modeling of dynamic systems

René David, Hassane Alla · Automatica · 1994 · 450 citations

Engineering, Systems Engineering, Dynamical Systems +10

Formal methods in PLC programming

Georg Frey, Lothar Litz · 2002 · 284 citations

Computing, Computer Engineering, Computer Science +16

Timed Petri nets in modeling and analysis of cluster tools

W.M. Zuberek · IEEE Transactions on Robotics and Automation · 2001 · 182 citations

Engineering, Industrial Engineering, Manufacturing Engineering +14

Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system

K. Venkatesh, MengChu Zhou, R.J. Caudill · IEEE Transactions on Industrial Electronics · 1994 · 116 citations

Engineering, Computer Science, Industrial Engineering +16

Design of industrial automated systems via relay ladder logic programming and Petri nets

MengChu Zhou, Edward Twiss · IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) · 1998 · 96 citations

Engineering, Computer Science, Industrial Engineering +16