杰罗姆·勒鲁 扁平Petri网(受邀演讲)。 (英语) Zbl 1489.68164号 Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12734, 17-30 (2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.勒鲁},勒克特。注释计算。科学。12734,17-30(2021年;兹比尔1489.68164) 全文: 内政部 哈尔
佛罗伦萨Bouchy;阿兰·芬克尔;阿诺德·桑尼尔 定时计数器系统的可达性。 (英语) Zbl 1347.68255号 Habermehl,P.(ed.)等人,第八、第九和第十届无限状态系统验证国际研讨会会议记录(INFINITY 2006、2007、2008),德国波恩,2006年8月26日,葡萄牙里斯本,2007年9月8日,加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记239167-178(2009)。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bouchy}等人,《电子》。注释Theor。计算。科学。239167-178(2009年;兹比尔1347.68255) 全文: 内政部
莱姆,迪迪埃;奥利维尔·H·鲁克斯。 具有抢占式调度的实时系统的形式化验证。 (英语) Zbl 1185.68429号 实时系统。 41,第2期,第118-151页(2009年).MSC公司:68问题65 68问题85 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{D.Lime}和\textit{O.H.Roux},实时系统。41,第2号,118--151(2009;Zbl 1185.68429) 全文: 内政部 哈尔
克莉丝汀,杂乱无章;米凯拉·梅耶罗;劳雷·佩特鲁奇 实验Petri网精化的形式证明。 (英语) Zbl 1283.68236号 Boiten,Eerke(编辑)等人,《第13届BCS-FACS精炼研讨会论文集》(REFINE 2008),芬兰图尔库,2008年5月27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记214231-254(2008)。MSC公司:68问题85 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Choppy}等人,电子。注释Theor。计算。科学。214231-254(2008年;Zbl 1283.68236) 全文: 内政部
Geeraerts,G。;J.-F.拉斯金。;范·贝京,L。 扩展、放大和检查:WSTS可覆盖性问题的新算法。 (英语) Zbl 1105.68084号 J.计算。系统。科学。 72,第1期,180-203(2006).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人,J.Compute。系统。科学。72,第1号,180--203(2006;Zbl 1105.68084) 全文: 内政部