TY - CHAP AU - Juhás, Gabriel AU - Kazlov, Igor AU - Juhásová, Ana ID - 5940 SN - 0302-9743 T2 - Applications and Theory of Petri Nets TI - Instance Deadlock: A Mystery behind Frozen Programs ER -