亚历山大·比尔格拉姆;彼得·詹森(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游戏自动合成暂时正确的网络更新。 (英语) 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) 全文: 内政部