伯纳德·伯托米厄；弗洛伦特·佩雷斯；弗朗索瓦·维纳达特 架起时间自动机和有界时间Petri网之间的桥梁。 （英语） Zbl 1141.68426号 Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学讲义4202，82-97（2006）。 摘要：最近几篇论文研究了时间自动机和时间Petri网这两种实时系统的普遍模型的相对表达能力。值得注意的是，时间自动机和有界时间Petri网在时间语言接受方面具有同等的表达能力，但时间自动机严格来说在弱时间双相似性方面更具表达能力。本文将时间自动机与用静态优先级扩展的有界时间Petri网进行了比较，并表明这些模型的两个大子集在弱时间双相似性方面表现相同。关于整个系列，请参见[Zbl 1137.68001号]. 引用于1审查引用于11文件 MSC公司： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：时间Petri网；优先级；时间自动机；弱时间双相似性；实时系统建模与验证 PDF格式BibTeX公司 XML格式引用 \textit{B.Berthomieu}等人，Lect。注释计算。科学。4202，82-97（2006年；兹bl 1141.68426） 全文： 内政部