您的位置: 专家智库 > >

汪明新

作品数:3 被引量:11H指数:2
供职机构:同济大学电子与信息工程学院计算机科学与技术系更多>>
发文基金:国家重点基础研究发展计划国家科技重大专项上海市科学技术委员会基础研究重点项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 2篇有界PETR...
  • 1篇对象PETR...
  • 1篇颜色PETR...
  • 1篇活性
  • 1篇集中式
  • 1篇虹吸
  • 1篇PETRI网

机构

  • 3篇同济大学

作者

  • 3篇刘关俊
  • 3篇闫春钢
  • 3篇汪明新
  • 1篇吴岩

传媒

  • 1篇系统仿真学报
  • 1篇应用科学学报
  • 1篇计算机科学

年份

  • 1篇2013
  • 1篇2012
  • 1篇2011
3 条 记 录,以下是 1-3
排序方式:
稳定有界Petri网的进程表达式被引量:6
2011年
文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式。另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法。
汪明新刘关俊闫春钢
关键词:有界PETRI网
有界Petri网进程表达式与活性的关系被引量:7
2012年
Petri网进程是对Petri网并发语义的一个刻画,是Petri网分析和验证的有效手段.该文针对有界Petri网研究进程表达式和活性性质之间的关系,给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理.同时研究了进程表达式与虹吸、陷阱间的关系,是Petri网活性研究的一个新的尝试.
闫春钢汪明新刘关俊
关键词:PETRI网活性虹吸
医疗信息系统的集中式整合模式及其建模分析被引量:2
2013年
优化医疗信息系统的整合问题是医疗信息化建设迫切需要解决的问题。目前医院中医疗信息系统大多是由各个子系统以互连方式整合而成。这些系统存在系统的可扩展性差、对系统的维护不方便、对系统的分析困难等问题。提出了基于IHE(Integrating the Healthcare Enterprise)技术框架的医疗信息系统的集中式整合模式,克服了现有的互连式整合模式的若干不足。运用对象Petri网对集中式整合模式进行建模。首先对各个子系统进行建模,然后根据各子系统之间的关系建立系统的整合模型,并对整合后的医疗信息系统的合理性进行了分析,给出了在IHE框架下针对复杂系统建立工作流模型的过程及其分析方法。该模型为整合医疗信息系统的实现提供了理论基础和依据。
闫春钢汪明新刘关俊吴岩
关键词:颜色PETRI网对象PETRI网
共1页<1>
聚类工具0