罗密欧

罗密欧:分析时间Petri网的工具。本文介绍了时间Petri网(TPN)分析器Romeo的特点。Romeo工具允许TPN的状态空间计算和可达性属性的动态模型检查。它执行从tpn到时间自动机(TAs)的转换,以保持tpn的行为语义(时间双相似性)。此外,我们的工具还处理了时间Petri网(调度tpn)的扩展,对于这种扩展,可以停止和恢复对转换的评估,从而允许建模抢占。


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. Patricia Bouyer;Uli Fahrenberg;Kim Guldstrand;Markey,Nicolas;Ouakine,Joël;Worrell,James:模型检查实时系统(2018)
  2. 《并行机器》(Consultant machines,Andénénén e,Mulsa Mousing machines;Mohnned Mousined machines;Mohnned Mousined,2016)
  3. Jensen,Peter Gjøl;Larsen,Kim Guldstrand;Srba,Jiří:基于离散化的定时弧Petri网博弈的实时策略综合(2016)
  4. Klai,Kais:时间聚集图:时间Petri网基于事件和状态的定量性质的有限图(2015)
  5. Byg,Joakim;Jacobsen,Morten;Jacobsen,Lasse;Jørgensen,Kenneth Yrke;Moller,Mikael Harkjær;Srba,Jiří:TCTL从时间弧Petri网到时间自动机网络的转换(2014)
  6. Lime,Didier;Martinez,Claude;Roux,Olivier H.:时间Petri网的收缩(2013)
  7. Baraguer,Sandie;Chatain,Thomas;Haar,Stefan:从时间Petri网到时间自动机网络的并发保护转换(2012)
  8. David,Alexandre;Jacobsen,Lasse;Jacobsen,Morten;Jørgensen,Kenneth Yrke;Moller,Mikael H.;Srba,Jiří:TAPAAL 2.0:定时弧Petri网的集成开发环境(2012)
  9. Lepri,Daniela;Ábrahám,Erika;Álveczky,Peter Csaba:实时Maude中的定时CTL模型检查(2012)
  10. Jacobsen,Lasse;Jacobsen,Morten;Moller,Mikael H.;Srba,Jiří:时间弧Petri网的验证(2011)
  11. de Lara,Juan;Vangheluwe,Hans:自动化基于转换的视觉语言分析(2010)
  12. Grabiec,Bartosz;Traonouez,Louis-Marie;Jard,Claude;Lime,Didier;Roux,Olivier H.:使用参数时间Petri网的展开进行诊断(2010)
  13. Penczek,Wojciech;Pòłrola,Agata;Zbrzezny,Andrzej:一类分布式时间Petri网的基于SAT的(参数)可达性(2010)
  14. Traonouez,Louis Marie;Grabiec,Bartosz;Jard,Claude;Lime,Didier;Roux,Olivier H.:参数秒表Petri网的符号展开(2010)
  15. Boucheneb,Hanifa;Gardey,Guillaume;Roux,Olivier H.:时间Petri网的TCTL模型检验(2009)
  16. Lime,Didier;Roux,Olivier(H.):具有抢占式调度的实时系统的形式化验证(2009)
  17. Stöcker,Jan;Lang,Frédéric;Garavel,Hubert:《实时和数据并行处理:Atlantf中间格式》(2009)
  18. Abdelli,Abdelkrim;Badache,Nadjib:构建TSPN模型的状态类图(2008)
  19. Bérard,B.;Cassez,F.;Haddad,S.;Lime,D.;Roux,O.H.:什么时候时间自动机弱时间双相似于时间Petri网?(2008年)
  20. Magnin,Morgan;Lime,Didier;Roux,Olivier H.:具有离散时间语义的秒表Petri网的符号状态空间(理论论文)(2008)