An approach for the identification of time Petri net systems

This paper deals with the identification of time Petri net systems. The proposed algorithm identifies a time Petri net model on the basis of the observed behavior, extending existing approach for untimed systems. A mixed-integer programming problem is formulated to take into account that the firing of a transition requires that the enabling condition is met but, for time net systems, it is also required that the firing interval of a transition is congruent with the observed firing instant times.