×

时间自动机和时间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].

MSC公司:

第68季度85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部