Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets
Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets
复制标题
DOI：
10.1109/tii.2012.2198661
复制
发表时间：
2013-02
影响因子：
12.3
通讯作者：
Hesuan Hu;Mengchu Zhou;Zhiwu Li;Ying Tang
中科院分区：
文献类型：
--
作者：
Hesuan Hu;Mengchu Zhou;Zhiwu Li;Ying Tang
在自动化制造系统（AMS）中，Petri网被广泛用于解决建模、分析和控制问题。到目前为止，几乎所有已知的方法来执行监督控制活性调查AMS灵活的路线或装配操作，而很少有工作调查他们两者。在本文中，我们提出了一类新的系统，它可以很好地处理这两个功能，以方便更复杂的AMS的控制。使用结构分析，我们表明，他们的Petri网模型的活性可以归因于不存在下标记的信标，这是通过合成一个适当的监督控制器实现。此外，一个有效的方法，并通过AMS的例子进行了验证。
In the context of automated manufacturing systems (AMS), Petri nets are widely adopted to solve the modeling, analysis, and control problems. So far, nearly all known approaches to liveness enforcing supervisory control investigate AMS with either flexible routes or assembly operations, whereas little work investigates them with both. In this paper, we propose a novel class of systems, which can well deal with both features so as to facilitate the control of more complex AMS. Using structural analysis, we show that liveness of their Petri net model can be attributed to the absence of undermarked siphons, which is realizable by synthesizing a proper supervisory controller. Moreover, an efficient method is developed and verified via AMS examples.