Fault detection based on Petri net models with faulty behaviors.

Toshimitsu Ushio, Isao Onishi, Koji Okuda

Browse the full SMC paper archive.