塔帕尔

时间Petri网和tapl编辑器。TAPAAL是一个新的平台无关的工具,用于时间弧Petri网的建模、仿真和验证。TAPAAL提供了一个独立的编辑器和模拟器,验证模块将时间弧Petri网模型转换为时间自动机网络,并使用UPPAAL引擎进行自动分析。我们报告了TAPAAL的第一个版本的状态{www.tapaal.net网站}),介绍了它的新建模特性,并通过几个实例说明了该工具的效率和建模能力。


zbMATH中的参考文献(参考文献第十七条,2标准条款)

显示第1到17个结果,共17个。
按年份排序(引用)

  1. 阿克谢,S。;Héët、 瞧ïc;Phawade,Ramchandra:结合Petri网中的自由选择和时间(2020)
  2. 法伦堡,乌利;勒盖,阿克塞尔;夸斯,卡林:用定量博弈计算分支距离(2020)
  3. Bø尼兰,弗雷德里克M。;迪尔,雅各布;詹森,彼得G。;约翰森,Mads;吉隆坡ří: Petri网的顽固约化与结构约化(2019)
  4. Bø尼兰,弗雷德里克;迪尔,雅各布;詹森,彼得G。;约翰森,Mads;吉隆坡ří: 简化用于Petri网有效模型检查的CTL公式(2018)
  5. 布耶,帕特里夏;法伦堡,乌利;拉森,金·古德斯兰德;马基,尼古拉斯;哇克宁,乔ël;沃雷尔,詹姆斯:模型检查实时系统(2018)
  6. 瓦莱罗,瓦伦特ín: 时间弧Petri网的行为相似性很强(2018)
  7. 达尔斯加德,安德烈亚斯E。;Enevoldsen,Sø任;福格,彼得;詹森,小姑娘。;杰托本。;考夫曼,伊莎贝拉;拉森,金G。;尼尔森公司ø任M。;奥列森,马德斯克瑞。;塞缪尔,帕斯瓦;吉隆坡ří: 扩展依赖图与高效分布式不动点计算(2017)
  8. 詹森,彼得·吉øl;拉森,金·古德斯兰德;吉隆坡ří: PTrie:通过前缀共享压缩和存储集合的数据结构(2017)
  9. 詹森,彼得·吉øl;拉森,金·古德斯兰德;吉隆坡ří: 基于离散化的时间弧Petri网对策实时策略综合(2016)
  10. 马特奥,乔斯é 安东尼奥;吉隆坡ří; 咕噜ørensen,Mathias:离散时间和连续时间语义中时间弧工作流网络的可靠性(2015)
  11. 比格,约金;雅各布森,莫顿;雅各布森,拉丝;Jø恩森,肯尼斯·伊尔克;ø勒尔,米凯尔·哈克ær;吉隆坡ří: TCTL保护从时间弧Petri网到时间自动机网络的转换(2014)
  12. 乐,丁顺;阮,胡武;阮,范丁;麦丰南;范杜伊,鲍聪;全,Thanh Tho;安德烈é, É蒂安;佩特鲁奇,劳尔;Liu,Yang:PeCAn:Petri网的合成验证变得容易(2014)
  13. 马特奥,乔斯é 安东尼奥;吉隆坡ří; Sørensen,Mathias Grund:定时弧工作流网络的可靠性(2014)
  14. 越南白桦树;托马斯·斯蒂格·雅各布森;乔恩·詹森,雅各布;默斯加尔德,克里斯托弗;Nø尼尔斯的rgaard Samuelsen;吉隆坡ří: 时间弧Petri网模型检验的区间抽象精化(2014)
  15. 大卫,亚历山大;雅各布森,拉丝;雅各布森,莫顿;Jø恩森,肯尼斯·伊尔克;ø勒,米凯尔·H。;吉隆坡ří: TAPAAL 2.0:时间弧Petri网集成开发环境(2012)
  16. 雅各布森,拉丝;雅各布森,莫顿;ø勒,米凯尔·H。;吉隆坡ří: 时间弧Petri网的验证(2011)
  17. 比格,约金;Jø恩森,肯尼斯·伊尔克;斯尔吉,斯尔巴ří: TAPAAL:时间弧Petri网的编辑、模拟器和验证程序(2009)ioport公司