罗密欧

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

此软件的关键字

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

zbMATH中的参考文献（参考 26篇文章 26篇文章 引用，1标准件)

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