沃伊切赫·彭泽克;阿加塔·波罗拉 时间Petri网和时间自动机验证的进展。时间逻辑方法。 (英语) Zbl 1110.68087号 计算智能研究20.柏林:施普林格出版社(ISBN 3-540-32869-6/hbk)。xxxii,257页。(2006). 这本专著全面介绍了时间自动机和时间Petri网。它介绍了将时间Petri网转换为时间自动机的一些现有方法,并重点介绍了将时钟与各种网络组件关联起来的转换。介绍了时间和非时间时序规范语言,讨论了基于时间Petri网状态类和时间自动机分区精化的模型抽象方法。本书还介绍了两种模型检查方法,一种是基于利用抽象状态空间,另一种是应用基于SAT的符号技术。审核人:Ryszard Janicki(汉密尔顿) 引用于4文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 03B44号 时间逻辑 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68-02 与计算机科学有关的研究展览会(专著、调查文章) 关键词:验证;时间自动机;时间Petri网;时序逻辑 软件:TINA公司;Uppaal公司;克洛诺斯;CPN/工具;设计/CPN;自旋蛋白;查夫;fc2工具;向上2k PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}和\textit{A.Półrola},时间Petri网和时间自动机验证的进展。时间逻辑方法。柏林:施普林格出版社(2006;Zbl 1110.68087) 全文: 内政部