On an iterative deadlock prevention approach for automated manufacturing systems |
| |
Authors: | Murat Uzam ZhiWu Li |
| |
Affiliation: | 1. Muhendislik-Mimarlik Fakultesi Elektrik-Elektronik Mühendisli?i B?lümü Meliksah Universitesi, 38280, Talas, Kayseri, Turkey 2. Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 3. School of Electro-Mechanical Engineering, Xidian University, Xi’an, Shaanxi, 710071, China
|
| |
Abstract: | In Hu (Transactions of the Institute of Measurement and Control 33:59–76, 2011), Petri nets are utilized to describe, analyse and control automated manufacturing systems (AMS). In order to suppress deadlock occurrences in AMS, a method to derive the bad markings iteratively using a mixed integer programming-based algorithm is proposed. To validate the effectiveness and efficiency of the proposed approach, two examples were demonstrated in Hu (Transactions of the Institute of Measurement and Control 33:59–76, 2011). This paper shows that the uncontrolled Petri net model in one of the examples is incorrect. It is also shown that the structural complexity of the computed monitors for both examples can be reduced with the same or more permissive system behaviours. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|