沃伊切赫·彭泽克;阿加塔·波罗拉 时间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） 全文： 内政部