塔帕尔

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


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

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

  1. Akshay,S.;Hélouët,Loïc;Phawade,Ramchandra:在Petri网中结合自由选择和时间(2020)
  2. 法伦伯格,乌利;莱盖,阿克塞尔;夸斯,卡林:用定量游戏计算分支距离(2020年)
  3. Bønneland,Frederik M.;Dyhr,Jakob;Jensen,Peter G.;Johannsen,Mads;Srba,Jiří:Petri网的顽固与结构缩减(2019)
  4. Peter-Srsen,Jennénénénén;efficient of Petri网;Jackannø
  5. Patricia Bouyer;Uli Fahrenberg;Kim Guldstrand;Markey,Nicolas;Ouakine,Joël;Worrell,James:模型检查实时系统(2018)
  6. Valero,Valentín:时间弧Petri网的行为相似性(2018)
  7. Dalsgaard,Andreas E.;Enevoldsen,Søren;Fogh,Peter;Jensen,Lasse S.;Jepsen,Tobias S.;Kaufmann,Isabella;Larsen,Kim G.;Nielsen,Søen M.;Olesen,Mads Chr.;Pastva,Samuel;Srba,Jiří:扩展依赖图和高效分布式定点计算(2017)
  8. Jensen,Peter Gjøl;Larsen,Kim Guldstrand;Srba,Jiří:通过前缀共享压缩和存储集合的数据结构(2017)
  9. Jensen,Peter Gjøl;Larsen,Kim Guldstrand;Srba,Jiří:基于离散化的定时弧Petri网博弈的实时策略综合(2016)
  10. Mateo,JoséAntonio;Srba,Jiří;Grund Sørensen,Mathias:离散和连续时间语义中时间弧工作流网络的可靠性(2015)
  11. Byg,Joakim;Jacobsen,Morten;Jacobsen,Lasse;Jørgensen,Kenneth Yrke;Moller,Mikael Harkjær;Srba,Jiří:TCTL从时间弧Petri网到时间自动机网络的转换(2014)
  12. Le,Dinh Thuan;Nguyen,Huu Vu;Nguyen,Van Tinh;Mai,Phuong Nam;Pham Duy,Bao Trung;Quan,Thanh Tho;André,嫒tienne;Petrucci,Laure;Liu,Yang:PeCAn:Petri网的成分验证变得容易(2014)
  13. Mateo,JoséAntonio;Srba,Jiří;Sørensen,Mathias Grund:定时弧工作流网络的可靠性(2014)
  14. Viesmose Birch,Sine;Stig Jacobsen,Thomas;Jon Jensen,Jacob;Moesgaard,Christoffer;Nøgard Samuelsen,Niels;Srba,Jiří:时间弧Petri网模型检查的区间抽象精化(2014)
  15. David,Alexandre;Jacobsen,Lasse;Jacobsen,Morten;Jørgensen,Kenneth Yrke;Moller,Mikael H.;Srba,Jiří:TAPAAL 2.0:定时弧Petri网的集成开发环境(2012)
  16. Jacobsen,Lasse;Jacobsen,Morten;Moller,Mikael H.;Srba,Jiří:时间弧Petri网的验证(2011)
  17. Byg,Joakim;Jørgensen,Kenneth Yrke;Srba,Jiří:时间弧Petri网的编辑、模拟器和验证者(2009)ioport公司