Transformation from Petri Nets Model to Programmable Logic Controller using One-to-One Mapping Technique. - Devinder Thapa; Suraj Dangol; Gi-Nam Wang (CIMCA/IAWTIC, 2005)

III-Phase Verification and Validation of IEC Standard Programmable Logic Controller. - Devinder Thapa; Chang Mok Park; Suraj Dangol; Gi-Nam Wang (CIMCA/IAWTIC, 2006)

An Approach to Obtain a PLC Program from a DEVS Model. - Hyeong T. Park; Kil Y. Seong; Suraj Dangol; Gi-Nam Wang; Sang C. Park (ICINCO-RA (2), 2008)