张双双

作品数：1被引量：2H指数：1
导出分析报告
供职机构：吉林大学更多>>
发文主题：Π演算互模拟等价递归PETRI网计算机软件更多>>
发文领域：自动化与计算机技术历史地理更多>>
发文期刊：《吉林大学学报（工学版）》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种递归π演算向Petri网的转换方法被引量：2
《吉林大学学报（工学版）》2014年第1期142-148,共7页康辉 张双双 梅芳 
国家自然科学基金项目(61073164)
针对π演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则,采用层次化方法,针对递归次数较多时产生的Petri网结点过多的情况,本文给出了一种更简洁的Petri网表示,它保留了系统的...
关键词：计算机软件 递归兀演算转换 层次化方法 Petri网简洁表示 互模拟等价 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部