Maximal Good Step Graph Methods for Reducing the Generation of the State SpaceHao Dou,Kamel Barkaoui,Hanifa Boucheneb,Xiaoning Jiang,Shouguang WangIEEE access（2019）引用 5|浏览19暂无评分关键词Petri nets,state explosion problem,covering step graph methods,persistent setsAI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
