Process failures diagnosis in FMS real-time control: an approach combining rule-based systems and Petri nets | IEEE Conference Publication | IEEE Xplore