Diagnosability for discrete event systems based on Petri net language.

Fei Xue, Da-Zhong Zheng

Browse the full ICARCV paper archive.