TAPAAL公司 swMATH ID: 947 软件作者： 约阿金·比格；Jørgensen、Kenneth Yrke；吉·斯尔巴 描述： TAPAAL：时间弧Petri网的编辑器、模拟器和验证器。TAPAAL是一种新的独立于平台的工具，用于建模、仿真和验证时弧Petri网。TAPAAL提供了一个独立的编辑器和模拟器，而验证模块将时间弧Petri网模型转换为时间自动机网络，并使用UPPAAL引擎进行自动分析。我们报告了TAPAAL的第一个版本的状态（可从网址{www.TAPAAL.net}获得），报告了其新的建模功能，并通过几个示例演示了该工具的效率和建模能力。 主页： http://www.tapaal.net网站/ 相关软件： Uppaal公司；TINA公司；罗密欧；PTrie公司；ITS工具；玛丽；清爽；克洛诺斯；网论；自旋蛋白；洛拉；CMC公司；IF-2.0型；现场；GreatSPN公司；重复性包；ADG公司；github；z更新；AdamMC公司 引用于： 24文件 标准条款 2出版物描述软件，包括2出版物以zbMATH为单位 年份 基于离散化的时弧Petri网博弈实时策略综合。 Zbl 1354.68196号彼得·格约尔·詹森；金·古德斯特兰·拉森；吉·斯尔巴 2016 TAPAAL 2.0：时弧Petri网的集成开发环境。 Zbl 1352.68181号亚历山大·戴维；雅各布森，拉塞；莫滕·雅各布森；约根森、肯尼思·伊尔克；米凯尔·H·默勒。；吉·斯尔巴 2012 全部的 前5名61位作者引用 18 吉·斯尔巴 10 彼得·格约尔·詹森 7 金·古德斯特兰·拉森 4 Bønneland，弗雷德里克·迈耶 三 雅各布森，拉塞 三 莫滕·雅各布森 三 米凯尔·哈克杰·默勒 2 亚历山大·比尔格拉姆 2 雅各布·迪尔 2 瑟伦·埃内沃德森 2 乌里·法伦贝格 2 麦德斯·约翰森 2 约根森、肯尼思·伊尔克 2 何塞·安东尼奥·马特奥 2 马尔科·穆尼兹 2 瑟伦森，马蒂亚斯·格兰德 2 Peter H.Taankvist。 1 阿克西，S。 1 埃蒂安·安德烈 1 帕特里夏·鲍耶 1 拜格，乔金 1 安德烈亚斯·恩格尔布雷特·达尔斯加德 1 亚历山大·戴维 1 马丁·迪德里克森 1 彼得·福格 1 洛依茨海露 1 Lasse S.延森。 1 托拜厄斯·杰普森。 1 乔恩·詹森，雅各布 1 乔纳森·昂勒。 1 安德烈·伊昂·卡托纳 1 伊莎贝拉·考夫曼 1 桑奇·D·L·喇嘛。 1 黎丁顺 1 Legay、Axel 1 托尔斯滕·利布克 1 刘，杨 1 弗雷德里克·洛特鲁普。 1 Mai、Phuong-Nam 1 尼古拉斯·马基 1 克里斯托夫·莫斯加德 1 阮、胡武 1 阮文婷 1 索伦·尼尔森。 1 尼尔斯·诺加德·萨缪尔森 1 Mads Christian奥列森 1 乔尔·欧·瓦克宁。 1 塞缪尔·帕斯特瓦 1 劳蕾·佩特鲁奇 1 宝龙Pham-Duy 1 拉姆昌德拉·帕瓦德 1 卡琳·夸斯 1 Quan，Thanh-Tho先生 1 沙哈卜·沙贾拉特 1 托马斯·斯蒂格·雅各布森 1 尼古拉·延森·乌尔里克 1 瓦伦蒂安·瓦莱罗 1 Sine Viesmose Birch公司 1 Simon Mejlby，Virenfeldt 1 卡斯滕·沃尔夫 1 詹姆斯·沃雷尔。 4篇连载文章中引用 2 理论计算机科学 2 计算机基础理论 2 程序设计中的逻辑和代数方法杂志 1 应用数学与计算 在4个字段中引用 24 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 2 运筹学、数学规划（90-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文