Petri Net Representation of SFC with Cyclic Scan of Programmable Controller

[1]  B.H. Krogh,et al.  Design recovery for relay ladder logic , 1993, IEEE Control Systems.

[2]  Frank D. Petruzella,et al.  Programmable Logic Controllers , 1989 .

[3]  T. Sekiguchi,et al.  Verification of the behavior of sequential function chart based on its Petri net model , 1997, 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97.

[4]  Philippe Le Parc,et al.  Grafcet revisited with a synchronous data-flow language , 1999, IEEE Trans. Syst. Man Cybern. Part A.