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