Deadlock detection in Petri nets: One trace for one deadlock?

Andrei Karatkevich, Iwona Grobelna

Browse the full HSI paper archive.