Andrei Karatkevich, Iwona Grobelna. Deadlock detection in Petri nets: One trace for one deadlock?. In 7th International Conference on Human System Interactions, HSI 2014, Costa da Caparica, Portugal, June 16-18, 2014. pages 227-231, IEEE, 2014. [doi]
Abstract is missing.