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