Identification of Petri nets using timing information | IEEE Conference Publication | IEEE Xplore