玛丽亚

Maria:Modular reachability analyzer for代数系统网Maria对具有公平约束的高级Petri网进行仿真、详尽可达性分析和动态LTL模型检查。代数包含强大的内置数据类型和操作。模型可以导出到低级Petri网和标记的转换系统。翻译器程序允许Maria分析转换系统以及用过程或面向对象语言编写的分布式计算机程序,或SDL等高级规范。par-Maria已经用可移植的C和C++实现,并且在GNU通用公共许可证的条件下可以免费使用。


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

显示第1至19个结果,共19个。
按年份排序(引用)

  1. 谢婉玲;朱惠标;徐启文:移动系统的过程演算及其形式语义(2021)
  2. 谢婉玲;湘,双清;朱惠标:rTiMo的UTP方法(2018)
  3. Lakos,Charles:用移动Petri网建模移动IP(2009)
  4. 克劳代尔,汉娜;庞默罗,弗朗克:M-nets:一项调查(2008年)
  5. 克里夫,塞尔吉;指定的Petri网算法(Milavyeva,2007)
  6. 彗星,让保罗;克劳代尔,汉娜;Liauzu,Stéphane:使用高级Petri网建模多值遗传调节网络(2005)
  7. Evangelista,Sami:Helena的高级Petri网分析(2005)
  8. 克里斯滕森,拉尔斯·迈克尔;克里斯滕森,瑟伦:用函数式编程语言实现有色Petri网(2004)
  9. 拉特瓦拉,提莫;Mäkelä,Marko:模块化Petri网的LTL模型检验(2004)
  10. 欧加拉,利奥;彭蒂宁,奥利·马蒂;Parviainen,Elina:用网络理论方法对Margolus量子细胞自动机的建模和分析(2004)
  11. Thanh,Cécile Bui;Klaudel,Hanna:用高级模块化Petri网进行面向对象建模(2004)
  12. 阿尔托,安妮卡;赫斯伯格,尼斯;Varpaaniemi,Kimmo:SDL的自动形式化模型生成与分析(2003)
  13. 加塔,R。;格里博多,M。;曼尼,D。;Sereno,M.:关于使用Petri网计算短TCP传输的完成时间分布(2003)
  14. Mäkelä,Marko:模块化高层网络的模型检验安全特性(2003)
  15. Thanh,C.Bui;克劳德尔,H。;Pommereau,F.:系统验证的因果时间Petri网(2003)
  16. 克劳代尔,汉娜;Pommerau,Franck:一类可组合和可抢占的高级Petri网及其在多任务系统中的应用(2002)
  17. Mäkelä,Marko:Maria:代数系统网的模可达性分析器(2002)
  18. Mäkelä,Marko:代数系统网的优化使能测试和展开(2001)
  19. Mäkelä,Marko:高级Petri网的模块可达性分析器(2000)