Failure prognosis of discrete events systems based on extended Petri Nets