An approach for the identification of time Petri net systems