咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...

主题

  • 1 篇 可回复性的保持性
  • 1 篇 同步合成
  • 1 篇 最小可回复路径
  • 1 篇 并发语言

机构

  • 1 篇 中国科学院软件研...
  • 1 篇 中国科学院数学与...

作者

  • 1 篇 pu fei
  • 1 篇 lu wei-ming
  • 1 篇 蒲飞
  • 1 篇 陆维明

语言

  • 1 篇 中文
检索条件"主题词=可回复性的保持性"
1 条 记 录,以下是1-10 订阅
排序:
同步合成Petri网系统可回复性的保持性
收藏 引用
系统工程理论与实践 2005年 第10期25卷 83-94页
作者: 蒲飞 陆维明 中国科学院软件研究所计算机科学重点实验室 北京100080 中国科学院数学与系统科学研究院数学研究所 北京100080
着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复的充分必要条件.此外,提出了在同步合... 详细信息
来源: 评论