A concept for the integrated process description, PLC programming and simulation using Petri nets: application in a production process | IEEE Conference Publication | IEEE Xplore