• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Chinese Control Conference >具有多资源需求和柔性加工路径的顺序资源分配系统Petri网模型的死锁结构特征
【24h】

具有多资源需求和柔性加工路径的顺序资源分配系统Petri网模型的死锁结构特征

机译：具有多资源需求和柔性加工路径的顺序资源分配系统Petri网模型的死锁结构特征

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

具有多资源需求和柔性加工路径的顺序资源分配系统（Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings简称（C/D）RAS）是一类较复杂的、更为一般的资源分配系统. 本文研究（C/D）RAS的Petri网模型标识S~3PGR~2网(N, M_0), 定义其中的循环结构, 并指出循环结构反映（C/D）RAS中资源占用与循环等待的状况，是（C/D）RAS中死锁发生的结构特征. 具体做法如下：若(N, M_0)不是活的，则它有一个可达标识M，M是一个 "局部死锁"，即在M之下有死锁变迁. 在标识修改S~3PGR~2网(N_m, M)中, 由这个 "局部死锁" 可达一个 "全局死锁"M1, 即M1是一个死标识. 而标识M1在(N, M_0)中也是可达的. 进一步, 证明在(N, M_1)中可以找到一个循环结构.
机译：具有多资源需求和柔性加工路径的顺序资源分配系统（Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings简称（C/D）RAS）是一类较复杂的、更为一般的资源分配系统. 本文研究（C/D）RAS的Petri网模型标识S~3PGR~2网(N, M_0), 定义其中的循环结构, 并指出循环结构反映（C/D）RAS中资源占用与循环等待的状况，是（C/D）RAS中死锁发生的结构特征. 具体做法如下：若(N, M_0)不是活的，则它有一个可达标识M，M是一个 "局部死锁"，即在M之下有死锁变迁. 在标识修改S~3PGR~2网(N_m, M)中, 由这个 "局部死锁" 可达一个 "全局死锁"M1, 即M1是一个死标识. 而标识M1在(N, M_0)中也是可达的. 进一步, 证明在(N, M_1)中可以找到一个循环结构.

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号