约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 TCTL保留了从定时弧Petri网到定时自动机网络的转换。 （英语） Zbl 1359.68216号 西奥。计算。科学。 537, 3-28 (2014).MSC公司：68问题85 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Byg}等人，Theor。计算。科学。537，3--28（2014；Zbl 1359.68216） 全文： 内政部
周瑜;卢西亚诺·巴雷西;罗西，马蒂奥 基于分层时间自动机的UML/MARTE状态机的形式化语义。 （英语） 兹比尔1280.68139 J.计算。科学。Technol公司。 28，第1期，188-202（2013）.MSC公司：68问题85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhou}等人，J.Compute。科学。Technol公司。28，第1号，188--202（2013；Zbl 1280.68139） 全文： 内政部 链接
桑迪·巴拉格;托马斯·查泰恩;斯特凡·哈尔 从时间Petri网到时间自动机网络的保并发转换。 （英语） 兹比尔1252.68200 形式方法系统。设计。 40，第3号，330-355（2012）. 审核人：Jörg Desel（哈根） MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Balaguer}等人，《形式方法系统》。设计。40，第3号，330-355（2012；Zbl 1252.68200） 全文： 内政部 链接
弗朗科·西西雷利;安吉洛·富法罗;尼格罗、利贝罗 使用时间流Petri网和UPPAAL公司. （英语） Zbl 1252.68190号 申请。数学。计算。 218，第16号，8160-8186（2012）.MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Cicirelli}等人，应用。数学。计算。218、16号、8160--8186（2012；Zbl 1252.68190） 全文： 内政部
贝拉德，B。;卡塞兹，F。;哈达德，S。;石灰，D。;O.H.罗克斯。 时间自动机何时弱时间与时间Petri网相似？ （英语） Zbl 1158.68029号 西奥。计算。科学。 403，编号2-3，202-220（2008）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人，Theor。计算。科学。403，编号2--3，202-220（2008；Zbl 1158.68029） 全文： 内政部
沃伊切赫·彭泽克;阿加塔·波罗拉 时间Petri网和时间自动机验证的进展。时间逻辑方法。 （英语） Zbl 1110.68087号 计算智能研究20.柏林：施普林格出版社（ISBN 3-540-32869-6/hbk）。xxxii，257页。(2006). 审核人：Ryszard Janicki（汉密尔顿） MSC公司：68问题85 65年第68季度 第68季度第60季度 03B44号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Półrola}，时间Petri网和时间自动机验证的进展。时间逻辑方法。柏林：施普林格出版社（2006；Zbl 1110.68087） 全文： 内政部
贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·H·鲁克斯。 时间自动机和时间Petri网表达能力的比较。 （英语） Zbl 1175.68270号 Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829211-225（2005）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人，Lect。注释计算。科学。3829211-225（2005年；Zbl 1175.68270） 全文： 内政部