罗密欧

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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）