彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴;尼古拉·延森·乌尔里克 在依存关系图验证中消除分离区域。 （英文） Zbl 07750361号 Caltais，Georgiana（编辑）等人，《模型检查软件》。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13872, 163-179 (2023).MSC公司：60年第68季度 03B44号 68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人，Lect。注释计算。科学。13872，163-179（2023；Zbl 07750361） 全文： 内政部
亚历山大·比尔格拉姆;彼得·詹森（Peter G.Jensen）。;托马斯·佩德森;吉·斯尔巴;Peter H.Taankvist。 有色Petri网的有效展开方法。 （英文） Zbl 07770062号 芬达姆。通知。 189，编号3-4，297-320（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Bilgram}等人，Fundam。通知。189，编号3--4，297--320（2022；Zbl 07770062） 全文： 内政部
彼得·格约尔·詹森;吉·斯尔巴;尼古拉·延森·乌尔里克;Simon Mejlby，Virenfeldt 自动驱动的部分订单缩减和LTL模型检查的引导搜索。 （英文） Zbl 1498.68160号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 151-173 (2022).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人，Lect。注释计算。科学。13182、151--173（2022年；Zbl 1498.68160） 全文： 内政部
亚历山大·比尔格拉姆;彼得·詹森（Peter G.Jensen）。;托马斯·佩德森;吉·斯尔巴;Peter H.Taankvist。 有色Petri网展开的改进。 （英文） Zbl 07670973号 Bell，Paul C.（编辑）等人，《可达性问题》。第15届国际会议，RP 2021，英国利物浦，2021年10月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13035, 69-84 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛A.Bilgram｝等人，Lect。注释计算。科学。13035，69-84（2021；Zbl 07670973） 全文： 内政部 arXiv公司
弗雷德里克·伯内兰。;彼得·詹森（Peter G.Jensen）。;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴 针对时间可达性和安全游戏的顽固集缩减。 （英文） Zbl 07497999号 Dima，Catalin（编辑）等，《定时系统的形式化建模和分析》。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12860，32-49（2021）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.M.Bönneland}等人，Lect。注释计算。科学。12860，32-49（2021；Zbl 07497999） 全文： 内政部
马丁·迪德里克森;彼得·詹森（Peter G.Jensen）。;乔纳森·昂勒。;安德烈·伊昂·卡托纳;桑奇·D·L·喇嘛。;弗雷德里克·洛特鲁普。;沙哈卜·沙贾拉特;吉·斯尔巴 通过Petri游戏自动合成暂时正确的网络更新。 （英文） 兹比尔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） 全文： 内政部
弗兰克·卡塞兹;彼得·格约尔·詹森;Guldstrand、Larsen Kim 使用跟踪抽象细化的实时程序的验证和参数合成。 （英文） Zbl 1478.68053号 芬达姆。通知。 178，编号1-2，31-57（2021）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人，Fundam。通知。178，编号1--2，31-57（2021；Zbl 1478.68053） 全文： 内政部 arXiv公司
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;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） 全文： 内政部