约阿金·比格;雅各布森,莫顿;拉塞·雅各布森;约根森、肯尼思·伊尔克;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·默勒。;吉·斯尔巴 TAPAAL 2.0:时弧Petri网的集成开发环境。 (英语) Zbl 1352.68181号 Flanagan,Cormac(编辑)等人,《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议(TACAS 2012),是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(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) 全文: 内政部