阿科斯·哈伊杜;安德拉斯·Vörös;塔马斯·巴塔 Petri网CEGAR方法的新搜索策略。 （英语） Zbl 1432.68308号 Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9115, 309-328 (2015).MSC公司：68问题85 60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{阿尔·哈伊杜}等人，莱克特。注释计算。科学。9115，309--328（2015；Zbl 1432.68308） 全文： DOI程序 链接
阿科斯·哈伊杜;安德拉斯·Vörös;塔马斯·巴塔;佐尔坦，马尔通卡 Petri网上CEGAR方法的扩展。 （英语） 兹比尔1313.68080 《网络学报》。 21，第3期，401-417（2014）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{阿尔·哈伊杜}等人，《网络学报》。21，第3号，401-417（2014；Zbl 1313.68080） 全文： DOI程序