Fault detection based on Petri net models with faulty behaviors. - Toshimitsu Ushio; Isao Onishi; Koji Okuda (SMC, 1998)