Deadlock detection in Petri nets: One trace for one deadlock? | IEEE Conference Publication | IEEE Xplore