van der Werf,Jan Martijn E.M。;安德烈·里夫金;马可·蒙塔利;Polyvyany,Artem公司 带标识符的Petri网的正确性概念。 (英语) Zbl 07801677号 芬丹。通知。 190,编号2-4,159-207(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.M.E.M.van der Werf}等人,Fundam。通知。190,编号2-4159-207(2024;兹bl 07801677) 全文: 内政部 arXiv公司
Wil M.P.范德阿尔斯特。 带有家庭集群的自由选择网络是透明的。 (英语) Zbl 1519.68167号 芬丹。通知。 181,编号4,273-302(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst},芬丹。通知。181,编号4,273--302(2021;Zbl 1519.68167) 全文: 内政部 arXiv公司
Wil M.P.范德阿尔斯特。;亚历山德罗·贝尔蒂 发现以对象为中心的Petri网。 (英语) Zbl 1497.68354号 芬丹。通知。 175,编号1-4,1-40(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst}和\textit{A.Berti},Fundam。通知。175,编号1--4,1--40(2020;Zbl 1497.68354) 全文: 内政部 arXiv公司