约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 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) 全文: 内政部
王法恩 基于时间凸性分析的稠密时间系统的高效模型检验。 (英语) 兹比尔1279.68222 西奥。计算。科学。 467, 89-108 (2013).MSC公司:第68季度第60季度 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{F.Wang},Theor。计算。科学。467,89--108(2013;Zbl 1279.68222) 全文: 内政部
拉希德·哈吉吉;哈尼法·布切内布 时间Petri网的动态(TCTL\)模型检查。 (英语) Zbl 1186.68292号 西奥。计算。科学。 410,第42号,4241-4261(2009).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hadjidj}和\textit{H.Boucheneb},Theor。计算。科学。410,编号42,4241--4261(2009;Zbl 1186.68292) 全文: 内政部
L’Her,D。;Parc公司。;马凯,L。 使用时间自动机证明顺序功能图程序。 (英语) Zbl 0984.68101号 西奥。计算。科学。 267,编号1-2,141-155(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.L'Her}等人,Theor。计算。科学。267,编号1--2,141-155(2001;Zbl 0984.68101) 全文: 内政部