×

兹马思-数学第一资源

tapaal2.0:定时弧Petri网的集成开发环境。(英语) Zbl公司 1352.68181
Flanagan,Cormac(ed.)等人,《系统构建和分析的工具和算法》。2012年第18届国际会议,作为欧洲软件理论与实践联合会议的一部分,2012年3月24日至4月1日,爱沙尼亚塔林,2012年ETAPS。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-28755-8/pbk)。计算机科学课堂讲稿7214992-497(2012)。
概述:tapal2.0是一个独立于平台的扩展时间弧Petri网建模、仿真和验证工具。该工具支持基于组件的建模,通过转换到Uppaal时间自动机并通过自己的专用验证引擎,提供TCTL的EF、AG、EG和AF片段的自动验证。经过三年多的积极开发,主要集中在可用性方面和验证算法的效率上,我们提出了新版本的TAPAAL2.0,目前已达到成熟阶段,并提供了第一个公开可用的工具,支持时间弧Petri网的分析和验证。
整个系列请参见[Zbl 1238.68014].

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68Q60型 规范和验证(程序逻辑、模型检查等)
685表 定理证明(演绎、解析等)(MSC2010)
PDF格式 BibTeX公司 XML 引用
全文: 内政部