马丁·迪德里克森;彼得·詹森（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 68M10个 60年第68季度 68兰特 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Didriksen}等人，Lect。注释计算。科学。12734、118--137（2021年；Zbl 1489.68157） 全文： 内政部
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴 可达性博弈的部分降阶。 （英语） Zbl 07649931号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第23条，第15页（2019年）。MSC公司：第68季度85 PDF格式BibTeX公司 XML格式引用 \textit｛F.M.Bønneland｝等人，LIPIcs——莱布尼茨国际期刊。通知。140，第23条，第15页（2019年；Zbl 07649931） 全文： 内政部
弗雷德里克·伯内兰。;雅各布·迪尔;彼得·詹森（Peter G.Jensen）。;麦德斯·约翰森;吉·斯尔巴 Petri网的顽固与结构简化。 （英语） Zbl 1407.68330号 J.日志。阿尔盖布。方法程序。 102, 46-63 (2019).MSC公司：第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人，J.Log。阿尔盖布。方法计划。102、46-63（2019年；Zbl 1407.68330） 全文： 内政部