基于混合整数规划的一般Petri网死锁检测方法Qiao-li ZHUANG,Wen-zhan DAI,Shou-guang WANGControl theory & applications(2015)引用 3|浏览1关键词Deadlock Prevention,Stochastic Petri Nets,Petri Nets,Conformance CheckingAI 理解论文溯源树样例生成溯源树,研究论文发展脉络Chat Paper正在生成论文摘要