AUGMENTED-TIMED PETRI NETS FOR MODELING BREAKDOWN HANDLING