约阿金·比格；莫滕·雅各布森；拉塞·雅各布森；约根森、肯尼思·伊尔克；米凯尔·哈克杰·默勒；吉·斯尔巴 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） 全文： 内政部
王法恩；黄耿典；于、方 密集时间系统的TCTL必然性分析。 （英语） 兹比尔1279.68223 Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2003年7月16日至18日，美国加利福尼亚州圣巴巴拉市，CIAA 2003，第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40561-5/pbk）。莱克特。票据计算。科学。2759, 176-187 (2003).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}等人，Lect。票据计算。科学。2759176-187（2003年；Zbl 1279.68223） 全文： 内政部 arXiv公司