阿兰·芬克尔;谢尔盖·哈达德;伊戈尔·赫梅尔尼茨基 递归Petri网中的可覆盖性、终止性和有限性。 (英语) Zbl 1522.68362号 芬丹。通知。 183,编号1-2,33-66(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}等人,Fundam。通知。183,编号1--2,33-66(2021;Zbl 1522.68362) 全文: 内政部 arXiv公司
贝内迪克特·博利格;阿兰·芬克尔;阿姆丽塔·苏雷什 有界可达性问题在FIFO机器中是可以判定的。 (英语) Zbl 07559505号 Konnov,Igor(ed.)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第49条,第17页(2020年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,LIPIcs——莱布尼茨国际程序。通知。171,第49条,第17页(2020;Zbl 07559505) 全文: 内政部