约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 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) 全文: 内政部
桑迪·巴拉格;托马斯·查泰恩;斯特凡·哈尔 从时间Petri网到时间自动机网络的保并发转换。 (英语) Zbl 1252.68200号 形式方法系统。设计。 40,第3号,330-355(2012)。 审核人:约格·德塞尔(哈根) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Balaguer}等人,《形式方法系统》。设计。40,第3号,330-355(2012;Zbl 1252.68200) 全文: 内政部 链接
贝拉德,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) 全文: 内政部
贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖,哈达德;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 时间自动机和时间Petri网表达能力的比较。 (英语) 兹比尔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) 全文: 内政部