lntematlonal Conference on Systems , Man and Cybernetics * Diagnosability of Petri Nets

First, diagnosability of Petri nits is dejined in terms of net structures, then, an algorithm is proposed that could be used for checking diagnosability property of discrete event systems, and examples are presented to illustrate the approach.