×

兹马思-数学第一资源

填补了时间自动机和有界时间Petri网之间的鸿沟。(英语) Zbl公司 1141.68426
Asarin,Eugene(ed.)等人,《时间系统的形式化建模与分析》。第四届国际会议,2006年9月25日至27日,法国巴黎。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学课堂讲稿4202,82-97(2006)。
摘要:最近几篇论文研究了时间自动机和时间Petri网的相对表达性,这两个广泛的实时系统模型。值得注意的是,时间自动机和有界Petri网在时间语言接受度方面具有同等的表现力,但严格来说,时间自动机在弱时间双相似性方面更具表现力。本文比较了时间自动机和静态优先级扩展的有界Petri网,证明了这两个模型的两个大子集在弱时间双相似性方面具有相同的表现力。
整个系列请参见[Zbl 1137.68001].

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