Petri net based PLC stage programming for discrete-event control design | IEEE Conference Publication | IEEE Xplore