TY - 计算机工程 A1 - 黄理,顾乃杰,曹华雄 T1 - 基于Petri网的多线程程序死锁检测 Y1 - 2016-04-15 00:00:00.0 JF - 计算机工程 JO - 计算机工程 SP - 1 EP - 6 VL - 42 IS - 4 UR - {http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2016.04.001} N1 - 10.3969/j.issn.1000-3428.2016.04.001 ER -