聂锡宁

作品数：1被引量：1H指数：1
导出分析报告
供职机构：桂林电子科技大学更多>>
发文主题：MAUDE形式化方法逻辑模型重写逻辑重写更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《桂林电子科技大学学报》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Petri网的重写逻辑模型及其属性验证被引量：1
《桂林电子科技大学学报》2011年第3期208-212,共5页聂锡宁 蔡国永 
国家自然科学基金(61063039)
为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它。为此,提出使用重写逻辑表达Petri网的新方法来探索对Petri网的替代。通过把异步并发系统的Petri网图形表达转化为重写逻辑理论,可...
关键词：PETRI网 重写逻辑 验证 形式化方法 MAUDE 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部