您的位置： 专家智库 > >

西安市科技计划项目(OF0201110403)

作品数：1 被引量：0H指数：0
相关作者：郝克刚郭小群李向宁更多>>
相关机构：西安电子科技大学西北大学更多>>
发文基金：中央高校基本科研业务费专项资金西安市科技计划项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇PI演算
  • 1篇PETRI网

机构

  • 1篇西北大学
  • 1篇西安电子科技...

作者

  • 1篇李向宁
  • 1篇郭小群
  • 1篇郝克刚

传媒

  • 1篇计算机学报

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
k-选择网和Pi演算的表达能力
2013年
文中定义了Petri网的一子类系列:k-选择网,它形成一个后类包含前类的Petri网子类的无穷序列,证明了此无穷序列的并集等于Petri网类,自由选择网是k=1的k-选择网,即1-选择网.在证明自由选择网系统可以用Pi演算表达的基础上,文中进一步证明了所有2-选择网系统可以用Pi演算表达.
李向宁郝克刚郭小群
关键词：PI演算PETRI网
全选 清除 导出
共1页<1>
聚类工具0