Petri-net-based robust supervisory control of automated manufacturing systems

Supervisory control that ensures deadlock-free and nonblocldng operation has been an active research area of manufacturing engineering. So far, most of deadlock control policies in the existing literature assume that allocated resources are reliable. Additionally, a large number of methods are for systems of simple sequential processes with resources (S(3)PRs), where a part uses only one copy of one resource at each processing step. In contrast, we investigate the automated manufacturing systems (AMSs) that can be modeled by a class of Petri nets, namely SPUR. SPUR is a generalization of the S'PR Petri net model, while S'PR is a superclass of (SPR)-P-3. This work addresses the robust supervision for deadlock avoidance in SPUR. Specifically, we take into account unreliable resources that may break down while working or being in idle, and the considered AMSs allow the use of multiple copies of different resources per operation stage. Our objective is to control the system so that: 1) when there are breakdowns, the system can continue producing parts of some types whose production does not need any failed resources; and 2) given the correction of all faults, it is possible to complete all the on-going part instances remaining in the system. We illustrate the characteristics of a desired supervisor through several examples, define the corresponding properties of robustness, and develop a control policy that satisfies such properties. (C) 2016 Elsevier Ltd. All rights reserved.