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