Identification of labeled Time Petri nets