您的位置： 专家智库 > >

中央高校基本科研业务费专项资金(6082015)

作品数：1 被引量：3H指数：1
相关作者：周国富杜卓敏更多>>
相关机构：武汉大学更多>>
发文基金：中央高校基本科研业务费专项资金教育部留学回国人员科研启动基金湖北省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇代码
  • 1篇形式化
  • 1篇隐含
  • 1篇建模技术
  • 1篇程序代码
  • 1篇程序语义
  • 1篇PETRI网

机构

  • 1篇武汉大学

作者

  • 1篇杜卓敏
  • 1篇周国富

传媒

  • 1篇软件学报

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
程序代码中隐含数据与控制的Petri网建模技术被引量：3
2011年
应用一种Petri网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图.在CNets规范的基础上,研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系,同时给出CNets规范向经典Petri网规范的转换规则.在不运行程序的前提下,根据这一映射机制,通过CNets规范,利用经典Petri网理论对程序的性质进行分析.
周国富杜卓敏
关键词：形式化PETRI网程序语义
全选 清除 导出
共1页<1>
聚类工具0