Specification of FMS real-time control based on Petri nets with objects and process failure monitoring | IEEE Conference Publication | IEEE Xplore