罗密欧

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


zbMATH中的参考文献(参考文献26条,1标准件)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. 法伦堡,乌利;勒盖,阿克塞尔;夸斯,卡林:用定量博弈计算分支距离(2020)
  2. 布耶,帕特里夏;法伦堡,乌利;拉森,金·古德斯兰德;马基,尼古拉斯;哇克宁,乔ël;沃雷尔,詹姆斯:模型检查实时系统(2018)
  3. 安德烈é, É蒂安;本穆萨,穆罕默德·马赫迪;Choppy,Christine:使用有色Petri网形式化并发UML状态机(2016)
  4. 詹森,彼得·吉øl;拉森,金·古德斯兰德;吉隆坡ří: 基于离散化的时间弧Petri网对策实时策略综合(2016)
  5. Klai,Kais:时间聚集图:时间Petri网基于事件和状态的定量性质的有限图(2015)
  6. 比格,约金;雅各布森,莫顿;雅各布森,拉丝;Jø恩森,肯尼斯·伊尔克;ø勒尔,米凯尔·哈克ær;吉隆坡ří: TCTL保护从时间弧Petri网到时间自动机网络的转换(2014)
  7. 石灰,迪迪埃;马丁内斯,克劳德;Roux,Olivier H.:时间Petri网的收缩(2013)
  8. 巴拉格,桑迪;查坦,托马斯;Haar,Stefan:从时间Petri网到时间自动机网络的并发保护转换(2012)
  9. 大卫,亚历山大;雅各布森,拉丝;雅各布森,莫顿;Jø恩森,肯尼斯·伊尔克;ø勒,米凯尔·H。;吉隆坡ří: TAPAAL 2.0:时间弧Petri网集成开发环境(2012)
  10. 莱普里,丹妮拉;Á布拉赫ám、 埃里卡;Ölveczky,Peter Csaba:实时Maude中的定时CTL模型检查(2012)
  11. 雅各布森,拉丝;雅各布森,莫顿;ø勒,米凯尔·H。;吉隆坡ří: 时间弧Petri网的验证(2011)
  12. 德拉,胡安;Vangheluwe,Hans:自动化基于转换的视觉语言分析(2010)
  13. 格拉贝克,巴托斯;特拉诺努埃兹,路易·玛丽;贾德,克劳德;石灰,迪迪埃;Roux,Olivier H.:使用参数时间Petri网的展开进行诊断(2010)
  14. 彭泽克,沃伊切赫;Pòł罗拉,阿加塔;Zbrzezny,Andrzej:一类分布时间Petri网的基于SAT的(参数)可达性(2010)
  15. 特拉诺努埃兹,路易·玛丽;格拉贝克,巴托斯;贾德,克劳德;石灰,石灰;Roux,Olivier H.:参数秒表Petri网的符号展开(2010)
  16. 布切涅布,哈尼法;加德,纪尧姆;Roux,Olivier H.:时间Petri网的TCTL模型检验(2009)
  17. 石灰,迪迪埃;Roux,Olivier(H.):具有抢占式调度的实时系统的形式化验证(2009)
  18. Stö克尔,简;朗,法国édé风险投资委员会;Garavel,Hubert:实时和数据并行处理:Atlantf中间格式(2009)
  19. 阿卜杜利,阿卜杜勒克里姆;Badache,Nadjib:构建TSPN模型的状态类图(2008)
  20. Bé拉尔德,B。;卡塞兹,F。;哈达德,S。;石灰,D。;罗克斯,O。H、 时间自动机何时与时间Petri网弱时间双相似(2008年)