@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},
}