Sufficient conditions for diagnosability of Petri Nets