@inbook{5940, author = {Juhás, Gabriel and Kazlov, Igor and Juhásová, Ana}, booktitle = {Applications and Theory of Petri Nets}, isbn = {9783642136740}, issn = {0302-9743}, pages = {1--17}, publisher = {Springer Berlin Heidelberg}, title = {{Instance Deadlock: A Mystery behind Frozen Programs}}, doi = {10.1007/978-3-642-13675-7_1}, year = {2010}, }