×

兹马思-数学第一资源

比较了时间自动机和Petri网的时间扩展的表达能力。(英语) Zbl公司 1171.68579
Cassez,Franck(ed.)等人,《时间系统的形式化建模与分析》。2008年9月15日至17日在法国圣马洛举行的2008年第六届国际会议。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-540-85777-8/pbk)。计算机科学课堂讲稿5215,15-32(2008)。
摘要:由于时间相关模型在软件验证中的应用以及嵌入式平台的发展,时间相关模型得到了广泛的研究,其中可靠性和安全性在很大程度上取决于时间特性。许多与时间相关的模型被认为是几个著名的未命名模型的实时扩展。研究最多的形式包括时间自动机网络,它用有限个实值时钟扩展有限状态机的通信模型,以及Petri网的时间扩展,其中添加的时间结构包括,例如。,分配给过渡(时间Petri网)或弧(定时弧Petri网)的时间间隔。在本文中,我们半形式化地介绍了这些模型,讨论了它们的优缺点,并概述了关于模型之间关系的已知结果。
整个系列请参见[Zbl 1149.68007].

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