您的位置： 专家智库 > >

国家自然科学基金(60473007)

作品数：2 被引量：5H指数：2
相关作者：蒲飞陆维明更多>>
相关机构：中国科学院软件研究所中国科学院数学与系统科学研究院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇PETRI网
  • 2篇PETRI网...
  • 2篇并发语言
  • 1篇回复性
  • 1篇共享合成
  • 1篇保持性

机构

  • 2篇中国科学院数...
  • 2篇中国科学院软...

作者

  • 2篇陆维明
  • 2篇蒲飞

传媒

  • 2篇系统工程理论...

年份

  • 2篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
同步合成Petri网系统可回复性的保持性被引量：4
2005年
着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合成操作中有可回复性的条件.最后给出一些例子来说明所提出的方法在建模和分析大系统时的有效性.
蒲飞陆维明
关键词：并发语言
共享合成Petri网系统的活性保持性被引量：3
2005年
讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.
蒲飞陆维明
关键词：共享合成并发语言
全选 清除 导出
共1页<1>
聚类工具0