• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International Journal of Production Research >Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control
【24h】

Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control

机译：用Petri网最小基数求解虹吸及其在死锁控制中的应用。

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Siphons can be used to characterise deadlock states and solve deadlock problems in Petri nets that model flexible manufacturing systems. By modifying the objective function and adding new constraints to the mixed-integer programming (MIP) method proposed by Park and Reveliotis, this paper presents a revised M1P (RMIP) to directly solve siphons, called smart siphons, with the minimal cardinality as well as the minimal number of resource places. Accordingly, an iterative siphon-based control (ISC) method adds a proper control place (CP) to make each smart siphon max-controlled until the controlled system is live. Since any siphon that has more resource places can be composed of those containing less resource places, a small number of CPs are required during the iterative control process due to the solved smart siphons containing the minimal number of resource places. Compared with the existing methods in the literature, the proposed ISC method using the RMIP avoids computing a maximal deadly marked siphon from which a minimal siphon is then derived, adds a small number of proper CPs, and leads to a liveness-enforcing supervisor with a simple structure. Finally, a case study demonstrates the effectiveness of the proposed ISC method.
机译：虹吸管可用于表征死锁状态并解决为柔性制造系统建模的Petri网中的死锁问题。通过修改目标函数并向Park和Reveliotis提出的混合整数编程（MIP）方法添加新的约束，本文提出了一种经过修订的M1P（RMIP），可直接解决具有最小基数的虹吸管（称为智能虹吸管）以及资源位置的最小数量。因此，基于虹吸的迭代控制（ISC）方法添加了一个适当的控制位置（CP），以使每个智能虹吸受到最大控制，直到受控系统处于运行状态。由于具有更多资源位置的任何虹吸管都可以由包含较少资源位置的虹吸管组成，因此，在迭代控制过程中，由于求解的智能虹吸管包含最少资源位置，因此需要少量CP。与文献中的现有方法相比，使用RMIP提出的ISC方法避免了计算最大致命标记的虹吸，然后从中得出最小的虹吸，添加了少量适当的CP，并导致了具有生命力的主管结构简单。最后，案例研究证明了所提出的ISC方法的有效性。

著录项

  • 来源
    《International Journal of Production Research》 |2012年第24期|6203-6218|共16页
  • 作者

    Shaoyong Li; Zhiwu Li;

  • 作者单位

    School of Electro-Mechanical Engineering, Xidian University, Xi'an, 710071, P.R. China,School of Civil Engineering, Lanzhou University of Technology, Lanzhou, 730050, P.R. China;

    School of Electro-Mechanical Engineering, Xidian University, Xi'an, 710071, P.R. China,College of Engineering, King Saud University, Riyadh, 11421, Saudi Arabia,Institute of Computer Science, Martin-Luther Universitdt of Halle-Wittenburg Kurt-Mothes Strafie, Halle, 1 06120, Germany;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    flexible manufacturing system; petri net; deadlock prevention; mixed integer programming (MIP);

    机译：灵活的制造系统;皮氏网防止死锁;混合整数编程（MIP）;

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号