Transformation from Petri Nets Model to Programmable Logic Controller using One-to-One Mapping Technique | IEEE Conference Publication | IEEE Xplore