约阿金·比格;雅各布森,莫顿;雅各布森,拉塞;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 TCTL保留了从定时弧Petri网到定时自动机网络的转换。 (英语) 兹比尔1359.68216 西奥。计算。科学。 537, 3-28 (2014).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Byg}等人,Theor。计算。科学。537,3--28(2014;Zbl 1359.68216) 全文: 内政部
亚历山大·戴维;雅各布森,拉塞;雅各布森,莫顿;约根森、肯尼思·伊尔克;米凯尔·H·默勒。;吉·斯尔巴 TAPAAL 2.0:时弧Petri网的集成开发环境。 (英语) Zbl 1352.68181号 Flanagan,Cormac(编辑)等人,《系统构建和分析的工具和算法》。2012年3月24日至4月1日,作为欧洲软件理论和实践联席会议的一部分,在爱沙尼亚塔林举行了第18届国际会议,2012年TACAS。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28755-8/pbk)。计算机科学课堂讲稿7214,492-497(2012)。MSC公司:68问题85 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人,Lect。注释计算。科学。7214、492--497(2012年;Zbl 1352.68181) 全文: 内政部
雅各布森,拉塞;雅各布森,莫顿;米凯尔·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) 全文: 内政部
雅各布森,拉塞;雅各布森,莫顿;米凯尔·H·默勒。 具有不变量的定时弧Petri网的可覆盖性和有界性的不可解性。 (英语) Zbl 1247.68186号 Hlinen,Petr(ed.)等人,计算机科学数学和工程方法年度博士研讨会(MEMICS’09)。根据2009年11月13日至15日在捷克共和国Znojmo举行的研讨会上所作的介绍,选出了一些论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-15-6)。OASIcs–信息学中的OpenAccess系列13,104-111,仅电子版(2009年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Jacobsen}等人,OASIcs-OpenAccess系列。通知。13、104--111(2009;Zbl 1247.68186) 全文: 内政部