塔帕尔

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


zbMATH中的参考文献(参考文献17条,2标准条款)

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

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