A probabilistic analysis of diagnosability in discrete event systems