×

与海伦娜进行高级Petri网分析。 (英语) Zbl 1128.68377号

Ciardo,Gianfranco(编辑)等人,《Petri网的应用和理论》,2005年。第26届国际会议,ICATPN 2005,迈阿密,佛罗里达州,美国,2005年6月20日至25日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26301-2/pbk)。《计算机科学讲义》3536455-464(2005)。
小结:本文介绍了高级Petri网分析器Helena。Helena可用于状态属性的实时验证,即必须在系统的所有可到达状态中保持的属性,以及无死锁状态。Helena的一些功能使其在内存管理方面特别高效。结构抽象技术,主要是转换聚合,用于解决状态爆炸问题。提供了将我们的工具与Maria进行比较的基准。
Helena是用便携式Ada开发的,在GNU通用公共许可证的条件下可以免费使用。
关于整个系列,请参见[Zbl 1076.68004号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部