Interpretation Petri net model to IEC 1131-3: LD for programmable logic controller. - Taweepol Suesut; Prayut Inban; Phongchai Nilas; Prapas Rerngreun; S. Gulphanich (RAM, 2004)