比阿特丽斯Bérard;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 时间自动机和时间Petri网表达能力的比较。 (英语) Zbl 1175.68270号 Pettersson,Paul(编辑)等人,定时系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829211-225(2005)。 摘要:在本文中,我们考虑时间Petri网(TPN)模型,其中时间与转换相关。我们还考虑了Alur和Dill定义的时间自动机(TA),并比较了这两个模型的表达能力,即时间语言接受性和(弱)时间双相似性。我们首先证明了存在一个TA(mathcal a)s.t,不存在与(mathcalA)(弱)时间双相似的TPN(甚至是无界的)。然后,我们提出了一种从TA到(1-安全)TPN的结构翻译,以保持定时语言接受。此外,我们还证明了前面的(稍微扩展的)翻译还保留了句法子类的弱时间双相似性{助教}_TA的{syn}(\leq,\geq)\)。对于TPN理论,其结果是:1)TA、有界TPN和1-安全TPN在时间性语言接受中具有同等的表达能力;2) TA严格来说比有界TPN更具表达力,具有时间双重相似性;3) 子类\(\mathcal{助教}_{syn}(\leq,\geq)\)、有界TPN和1-安全TPN“a-la Merlin”同样表现出w.r.t.时间双重相似性。关于整个系列,请参见[兹比尔1097.68008]. 引用于13文件 MSC公司: 第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 65年第68季度 形式语言和自动机 关键词:计时语言;时间相似性;时间Petri网;定时自动机;表达能力 软件:CMC公司;罗密欧;TINA公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,Lect。注释计算。科学。3829211-225(2005年;Zbl 1175.68270) 全文: 内政部