• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Mathematical Problems in Engineering >Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems
【24h】

Comparison and Evaluation of Deadlock Prevention Methods for Different Size Automated Manufacturing Systems

机译：不同规模自动化制造系统的防死锁方法比较与评估

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

摘要

In automated manufacturing systems (AMSs), deadlocks problems can arise due to limited shared resources. Petri nets are an effective tool to prevent deadlocks in AMSs. In this paper, a simulation based on existing deadlock prevention policies and different Petri net models are considered to explore whether a permissive liveness-enforcing Petri net supervisor can provide better time performance. The work of simulation is implemented as follows. (1) Assign the time to the controlled Petri net models, which leads to timed Petri nets. (2) Build the Petri net model using MATLAB software. (3) Run and simulate the model, and simulation results are analyzed to determine which existing policies are suitable for different systems. Siphons and iterative methods are used for deadlocks prevention. Finally, the computational results show that the selected deadlock policies may not imply high resource utilization and plant productivity, which have been shown theoretically in previous publications. However, for all selected AMSs, the iterative methods always lead to structurally and computationally complex liveness-enforcing net supervisors compared to the siphons methods. Moreover, they can provide better behavioral permissiveness than siphons methods for small systems. For large systems, a strict minimal siphon method leads to better behavioral permissiveness than the other methods.
机译：在自动化制造系统（AMS）中，由于共享资源有限，可能会出现死锁问题。 Petri网是防止AMS死锁的有效工具。在本文中，考虑了基于现有死锁预防策略和不同Petri网模型的模拟，以探索允许活跃度的Petri网管理程序是否可以提供更好的时间性能。仿真工作实现如下。 （1）将时间分配给受控Petri网模型，这会导致定时Petri网。 （2）使用MATLAB软件建立Petri网模型。 （3）运行并仿真模型，并分析仿真结果，以确定哪些现有策略适用于不同系统。虹吸管和迭代方法用于防止死锁。最后，计算结果表明，所选的死锁策略可能并不意味着较高的资源利用率和工厂生产率，这在以前的出版物中已得到理论证明。但是，对于所有选定的AMS，与虹吸法相比，迭代法始终会导致结构和计算复杂的增强生命力的网络主管。而且，与小型系统的虹吸法相比，它们可以提供更好的行为允许性。对于大型系统，严格的最小虹吸法比其他方法具有更好的行为允许性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号