亚历山大·比尔格拉姆;Jensen,Peter G。;托马斯·佩德森;吉·斯尔巴;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) 全文: 内政部
尼克拉斯·约翰森。;Kr,Lasse B。;安德烈亚斯·马德森。;克里斯蒂安·尼尔森。;吉·斯尔巴;Rasmus G.托伦德。 Kaki:通过Petri博弈对常规策略进行并发更新综合。 (英语) Zbl 1502.68193号 ter Beek,Maurice H.(编辑)等,《综合形式方法》。2022年6月7日至10日,第17届国际会议,IFM 2022,瑞士卢加诺。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13274, 249-267 (2022).MSC公司:68问题85 68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Johansen}等人,Lect。注释计算。科学。13274,249--267(2022;Zbl 1502.68193) 全文: 内政部
彼得·格约尔·詹森;吉·斯尔巴;尼古拉·延森·乌尔里克;Simon Mejlby,Virenfeldt 自动驱动的部分订单缩减和LTL模型检查的引导搜索。 (英语) Zbl 1498.68160号 Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 151-173 (2022).MSC公司:60年第68季度 03B44号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。13182、151--173(2022年;Zbl 1498.68160) 全文: 内政部
亚历山大·比尔格拉姆;Jensen,Peter G。;托马斯·佩德森;吉·斯尔巴;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公司
弗雷德里克·伯内兰。;Jensen,Peter G。;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) 全文: 内政部
马丁·迪德里克森;Jensen,Peter G。;乔纳森·昂勒。;安德烈·伊昂·卡托纳;桑奇·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) 全文: 内政部
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;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) 全文: 内政部
弗雷德里克·伯内兰。;雅各布·迪尔;Jensen,Peter G。;麦德斯·约翰森;吉·斯尔巴 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年;兹比尔1407.68330) 全文: 内政部
何塞·安东尼奥·马特奥;吉·斯尔巴;瑟伦森,马蒂亚斯·格兰德 时间弧工作流网络的健全性。 (英语) Zbl 1334.90064号 Ciardo,Gianfranco(编辑)等人,Petri网和并发的应用和理论。第35届国际会议,PETRI NETS 2014,突尼斯突尼斯,2014年6月23日至27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-07733-8/pbk)。计算机科学课堂讲稿8489,51-70(2014)。MSC公司:90B70型 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Mateo}等人,Lect。注释计算。科学。8489、51-70(2014年;Zbl 1334.90064) 全文: 内政部
约阿金·比格;雅各布森,莫顿;拉塞·雅各布森;约根森、肯尼思·伊尔克;Møller、Mikael Harkjær;吉·斯尔巴 TCTL提供从时间弧Petri网到时间自动机网络的转换。 (英语) Zbl 1359.68216号 西奥。计算。科学。 537, 3-28 (2014).MSC公司:68问题85 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Byg}等人,Theor。计算。科学。537,3--28(2014;Zbl 1359.68216) 全文: 内政部
拉塞·雅各布森;雅各布森,莫顿;米凯尔·H·默勒。;吉·斯尔巴 定时弧Petri网的验证。 (英语) Zbl 1298.68175号 乔纳·伊万娜(编辑)等,《SOFSEM 2011:计算机科学的理论与实践》。第37届计算机科学理论与实践当前趋势会议,2011年1月22日至28日,斯洛伐克,11月斯莫科维奇。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18380-5/pbk)。计算机科学课堂讲稿6543,46-72(2011)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jacobsen}等人,Lect。注释计算。科学。6543、46-72(2011年;Zbl 1298.68175) 全文: 内政部