...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Acta Automatica Sinica >A Fairness and Liveness Control Policy of Petri Net Models for Automated Manufacturing Systems
【24h】

A Fairness and Liveness Control Policy of Petri Net Models for Automated Manufacturing Systems

机译：自动化制造系统Petri网模型的公平性和活力控制策略

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

摘要

Based on invariants of Petri nets, an approach to the enforcement of fairness and live-ness is presented for classic automated manufacturing systems. First of all, a fair net is obtained by adding some places that make the net have only one T-invariant. Then, a fair net is enforced to be live through controlling minimal siphons by P-invariants. Importantly, the concept of redundant strict minimal siphons is put forward, which can greatly simplify the synthesis and analysis of Petri net model of the system considered. Generally, the set of non-redundant strict minimal si-phons is a much small subset of the set of strict minimal siphons in a Petri net, particularly in large-scale ones. The results show that all strict minimal siphons cannot be emptied if non-redundant strict minimal siphons are controlled. Examples are presented to illustrate these approaches. The results obtained can be applied to a larger class of flexible manufacturing systems and are of significance to Petri nets based scheduling problems for automated manufacturing systems.
机译：基于Petri网的不变性，提出了一种用于经典自动化制造系统的实施公平性和活泼性的方法。首先，通过添加一些使该网络仅具有一个T不变性的位置来获得一个公平的网络。然后，通过控制P不变量的最小虹吸，强制建立一个公平的网络。重要的是，提出了冗余的严格最小虹吸管的概念，可以大大简化所考虑系统的Petri网模型的综合和分析。通常，非冗余严格最小虹吸管的集合是Petri网中（尤其是大规模网络中）严格最小虹吸管的很小的子集。结果表明，如果控制了非冗余的严格最小虹吸管，则不能清空所有严格最小虹吸管。举例说明了这些方法。获得的结果可以应用于更大范围的柔性制造系统，并且对于基于Petri网的自动化制造系统的调度问题具有重要意义。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号