约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 TCTL提供从时间弧Petri网到时间自动机网络的转换。 （英语） Zbl 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届国际会议（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） 全文： 内政部
拉塞·雅各布森;莫滕·雅各布森;米凯尔·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年；兹bl 1298.68175） 全文： 内政部