Petri net model with fuzzy timing and fuzzy-metric temporal logic