公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

Petri网的重写逻辑模型及其属性验证被引量：1: 2011年; 为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它。为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代。通过把异步并发系统的Petri网图形表达转化为重写逻辑理论,可以更容易和更直接地验证原系统的安全性、活性和可达性等行为属性,而不需要建立标识图或搜索网络不变量。以银行家问题为例,展示模型转化过程,并检测了该模型的无死锁性。结果表明,库所/变迁Petri网可以等效转化为重写规则代数组合的重写逻辑,并能在重写逻辑软件Maude中验证保留的基本属性。; 聂锡宁蔡国永; 关键词：PETRI网重写逻辑形式化方法 MAUDE

基于项重写技术的规格和模型检测研究: 数学和逻辑中把一个公式中的某个子项替换成另一个子项的操作过程就是项重写。项重写系统的理论是计算的基础理论。本文属于项重写技术在形式化方法领域的应用研究。主要贡献在于:成功地把项重写的基本思想应用在通用语言模型检测当中,给...; 聂锡宁; 关键词：编程语言形式化建模

全选清除导出

共1页<1>

聂锡宁