An approach for the identification of time Petri net systems | IEEE Conference Publication | IEEE Xplore