罗密欧

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


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

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