您的位置： 专家智库 > >

董振华

作品数：2 被引量：2H指数：1
供职机构：上海交通大学更多>>
发文基金：上海市自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

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

主题

  • 2篇PETRI网
  • 1篇有界PETR...

机构

  • 2篇上海交通大学

作者

  • 2篇董振华
  • 1篇董笑菊

传媒

  • 1篇上海交通大学...

年份

  • 2篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
有界Petri网的进程演算表达被引量：2
2011年
为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型(CCS)表示有界Petri网的方法.对于任意的有界Place/Transition网,可以用该方法构建一个与之相对应的有限进程.并且证明了所得进程与原网之间满足操作一致性和观察一致性.同时,证明了该方法在网的标号互模拟上满足完全抽象性.
董振华董笑菊
关键词：PETRI网
Petri网的进程演算表示
董振华
关键词：PETRI网
全选 清除 导出
共1页<1>
聚类工具0