哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金;克里斯托夫·韦尔泽尔 计算参数化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公司
哈维尔·埃斯帕尔扎;斯特凡·贾克斯;米哈伊尔·拉斯金;查纳·韦尔·肯尼迪 验证总体协议的复杂性。 （英语） Zbl 1522.68065号 分布计算。 34，第2期，133-177（2021）.MSC公司：64岁以下 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，《分布计算》。34、编号2、133--177（2021；Zbl 1522.68065） 全文： 内政部 arXiv公司
米哈伊尔·拉斯金;查纳·韦尔·肯尼迪;哈维尔·埃斯帕尔扎 即时观察Petri网的平坦性和复杂性。 （英语） Zbl 07559501号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。171，第45条，第19页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Raskin}等人，LIPIcs——莱布尼茨国际程序。通知。171，第45条，第19页（2020；Zbl 07559501） 全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金;查纳·韦尔·肯尼迪 即时观测Petri网的参数化分析。 （英语） Zbl 07796233号 Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 365-385 (2019).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Esparza}等人，Lect。注释计算。科学。11522365-385（2019年；Zbl 07796233） 全文： 内政部 arXiv公司