×

兹马思-数学第一资源

时间自动机与时间Petri网表达能力的比较。(英语) Zbl公司 1175.68270
时间系统的形式化分析。第三届国际会议,2005年9月26日至28日,瑞典乌普萨拉。诉讼程序。柏林:斯普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829211-225(2005)。
摘要:在本文中,我们考虑时间与变迁相关的时间Petri网模型。我们还考虑了Alur和Dill定义的时间自动机(TA),并比较了定时语言接受和弱时间双相似性两种模型的表达能力。我们首先证明了存在一个TA \(\mathcal a\)s.t.。不存在(甚至无界)与\(\mathcal a\)时间双相似的TPN(甚至无界)。然后,我们提出了一个从TA到(1-safe)tpn的结构翻译,以保持定时语言接受。进一步,我们证明了先前的(稍微扩展的)翻译对于TA的一个句法子类\(\mathcal{TA}{syn}(\leq,\geq)\)也保持了弱的时间双相似性。对于tpn理论,其结果是:1)TA、有界tpn和1-安全tpn在时间语言接受中具有同样的表现力;2) 严格来说,TA比有界tpn更具表达性;3) 子类\(\mathcal{TA}{syn}(\leq,\geq)\),有界且1安全的tpn”à “拉梅林”同样表现出w.r.t.时间的双重相似性。
整个系列请参见[Zbl 1097.68008].

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68Q45号 形式语言与自动机
PDF格式 BibTeX公司 XML 引用
全文: 内政部