约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;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) 全文: 内政部
拉塞·雅各布森;莫滕·雅各布森;Møller,Mikael 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) 全文: 内政部