冯慧;马塞洛·邦桑格;本杰明·利昂 从符号约束自动机到Promela。 （英语） Zbl 07576524号 J.日志。阿尔盖布。方法计划。 128，文章ID 100794，19 p.（2022）.MSC公司：68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{H.Feng}等人，J.Log。阿尔盖布。方法计划。128，文章ID 100794，19 p.（2022；Zbl 07576524） 全文： 内政部 OA许可证
马丁·迪德里克森;彼得·詹森（Peter G.Jensen）。;乔纳森·昂勒。;安德烈·伊昂·卡托纳;桑奇·D·L·喇嘛。;弗雷德里克·洛特鲁普。;沙哈卜·沙贾拉特;吉·斯尔巴 通过Petri游戏自动合成暂时正确的网络更新。 （英语） Zbl 1489.68157号 Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。12734, 118-137 (2021).MSC公司：68问题85 68米10 60年第68季度 68兰特 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Didriksen}等人，Lect。票据计算。科学。12734、118--137（2021年；Zbl 1489.68157） 全文： 内政部
伯恩德·芬克贝纳;Manuel Gieseking先生;赫金·哈布什，杰斯科;奥尔德罗格（Ernst-Rüdiger Olderog） 并发网络更新中的模型检查数据流。 （英语） Zbl 1437.68115号 Chen，Yu Fang（编辑）等人，用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。11781, 515-533 (2019).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，Lect。票据计算。科学。11781、515--533（2019年；Zbl 1437.68115） 全文： 内政部 arXiv公司