罗伯特·巴格纳拉;帕特里夏·M·希尔。;埃纳州扎法内拉 多面体计算在硬件和软件系统分析和验证中的应用。 (英语) Zbl 1187.68311号 西奥。计算。科学。 410,第46号,4672-4691(2009).MSC公司:60年第68季度 68层37 PDF格式BibTeX公司 XML格式引用 \文本{R.Bagnara}等人,Theor。计算。科学。410,编号46,4672--4691(2009;Zbl 1187.68311) 全文: 内政部 arXiv公司
达伦多,P。 无上下文图的Petri网实现。 (英语) Zbl 0973.68171号 西奥。计算。科学。 258,编号1-2,573-598(2001).MSC公司:68问题85 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Darondeau},Theor。计算。科学。258,编号1--2,573--598(2001;Zbl 0973.68171) 全文: 内政部