亚历山大·戴维；雅各布森，拉塞；莫滕·雅各布森；约根森、肯尼思·伊尔克；米凯尔·H·默勒。；吉·斯尔巴 TAPAAL 2.0：时弧Petri网的集成开发环境。 （英语） Zbl 1352.68181号 Flanagan，Cormac（编辑）等人，《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议（TACAS 2012），是欧洲软件理论与实践联合会议（ETAPS 2012）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28755-8/pbk）。计算机科学课堂讲稿7214，492-497（2012）。 摘要：TAPAAL 2.0是一个平台相关的建模、仿真和验证工具，用于扩展的时间弧Petri网。该工具支持基于组件的建模，并通过向Uppaal定时自动机的转换和其专用的验证引擎，对TCTL的EF、AG、EG和AF片段进行自动验证。经过三年多的积极开发，主要关注可用性方面和验证算法的效率，我们推出了TAPAAL 2.0的新版本，该版本目前已经成熟，并提供了第一个支持时弧Petri网分析和验证的公开工具。关于整个系列，请参见[Zbl 1238.68014号]. 引用于14文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：TAPAAL公司；罗密欧；Uppaal公司；TINA公司 PDF格式BibTeX公司 XML格式引用 \textit{A.David}等人，Lect。注释计算。科学。7214492-497（2012年；兹bl 1352.68181） 全文： 内政部