您的位置： 专家智库 > >

上海市自然科学基金(10ZR1416800)

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

文献类型

  • 1篇中文期刊文章

领域

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

主题

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

机构

  • 1篇上海交通大学

作者

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

传媒

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

年份

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