谋略

策略:一个通用的Petri网验证框架。本文提出了一种策略通用可扩展模型检查器(stratage),它是一种利用符号模型检查技术分析Petri网和其它并发模型的工具。策略将众所周知的术语重写(TR)概念与决策图(DDs)的效率相结合。TR系统是描述系统语义的一种很好的方法,可读性和紧凑性都很好,但是它们的直接实现在大型术语集上往往比较慢。另一方面,DDs已经证明了它们在模型检查方面的效率,但是将系统语义转换为有效的DDs操作是一个专家的问题。strategy用TR系统上的策略来描述系统的语义,并自动将这些规则转换成DD上的操作来处理模型检查。策略的最终目标是通过将模型的语义与执行模型检查的计算分离,成为Petri网不同变体的验证框架。

zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. López Bóbeda,埃德蒙多;Colange,Maximilien;Buchs,Didier:《战略:通用Petri网验证框架》(2014)ioport公司