哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金;克里斯托夫·韦尔泽尔 计算参数化Petri网的参数化不变量。 (英语) Zbl 1489.68158号 Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。12734, 141-163 (2021).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Esparza}等人,Lect。注释计算。科学。12734,141-163(2021;Zbl 1489.68158) 全文: 内政部 arXiv公司
最好的,艾克;哈维尔·埃斯帕尔扎 Petri网中的家乡状态的存在是可判定的。 (英语) Zbl 1356.68152号 信息处理。莱特。 116,第6期,423-427(2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{J.Esparza},Inf.过程。莱特。116,第6号,423--427(2016;Zbl 1356.68152) 全文: 内政部