Interpretation Petri net model to IEC 1131-3: LD for programmable logic controller | IEEE Conference Publication | IEEE Xplore