Instance Deadlock: A Mystery behind Frozen Programs. - Gabriel Juhás; Igor Kazlov; Ana Juhásová (Petri Nets, 2010)

Deadlocks and Livelocks in Resource Constrained Workflow Nets. - Gabriel Juhás; Ana Juhásová; Tomás Kovácik (ATAED@Petri Nets, 2022)