Improving real-time identification of Petri Nets using timing information | IEEE Conference Publication | IEEE Xplore