海伦娜

海伦娜的高级Petri网分析。本文介绍了高级Petri网分析仪Helena。Helena可用于状态属性的动态验证，即系统所有可达状态下必须保持的属性，以及死锁的无死锁性。Helena的一些特性使得它在内存管理方面特别有效。结构抽象技术，主要是过渡凝聚，被用来解决状态爆炸问题。提供了将我们的工具与Maria进行比较的基准。Helena是在便携式Ada中开发的，在GNU通用公共许可证的条件下可以免费获得。

此软件的关键字

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

zbMATH中的参考文献（参考文献11条,1标准件)

显示结果1到11，共11个。
按年份排序(引用)

  1. Pommereau，Franck:SNAKES:一个灵活的高级Petri网库（工具书）（2015）
  2. 波涛汹涌，克莉丝汀；黛多娃，安娜；福音派，萨米人；克莱，凯斯；佩特鲁奇，劳尔；Youcef，Samir：《近地天体议定书的建模和正式验证》（2012年）ioport公司
  3. 科顿，法布里斯；利纳德，阿尔班；布克斯，迪迪埃；科朗格，马克西米利恩；福音派，萨米人；兰普卡，凯；罗曼，尼尔斯；艾曼纽艾德帕维奥阿德特；蒂埃里·米格，扬；Wimmel，Harro:2011年（2012年）Petri网模型检查竞赛报告ioport公司
  4. 波涛汹涌，克莉丝汀；黛多娃，安娜；福音派，萨米人；洪、思连；克莱，凯斯；Petrucci，Laure:大型分布式数据库系统的NEO协议：建模和初始验证（2010）ioport公司
  5. 福音派，萨米人；帕乔尔特，克里斯托夫：解决偏序降阶的忽略问题（2010）ioport公司
  6. 巴什罗夫，Rza；科顿，法布里斯；Lort，Hüseyin:利用有色Petri网来决定置换可容许性（2009）
  7. 布劳莱，罗兰；德维勒，雷蒙德；克劳代尔，汉娜；佩尔兹，伊丽莎白；Pommereau，Franck:使用基于角色的规范和Petri网对安全协议进行建模和分析（2008）
  8. 克劳代尔，汉娜；库特尼，麦基；佩尔兹，伊丽莎白；Pommereau，Franck:通过动态过程创建实现系统的有效验证（2008）
  9. 福音派，萨米人；Pradat Peyre，Jean François:关于有色Petri网顽固集的计算（2006）
  10. Evangelista，Sami:Helena的高级Petri网分析（2005）
  11. 福音派，萨米人；Pradat Peyre，Jean François:显式软件模型检查中的内存有效状态空间存储（2005）