Failure modeling and process monitoring for flexible manufacturing systems using colored timed Petri nets | IEEE Journals & Magazine | IEEE Xplore