Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources

Based on Petri net models, this work aims to address deadlock prevention problem for a class of flexible manufacturing systems (FMSs), which can be modeled by systems of simple sequential processes with resources (S(3)PRs). In an (SPR)-P-3, xi-resource is resource with unit capacity shared by two or more maximal perfect resource transition circuits (MPRT-circuits) that do not contain each other. For S(3)PRs without xi-resources, the optimal Petri net-based polynomial complexity deadlock avoidance policies are synthesized in the previous work. This work focuses on the design of optimal Petri net controllers for S(3)PRs with xi-resources. First, the concepts of key resources and key transitions are introduced. A key resource is a special xi-resource. If there is a key transition in an (SPR)-P-3, there is a key resource in it, but not vice versa. For S(3)PRs with key resources, if there is no key transition in them, optimal Petri net controllers are synthesized; if there exist key transitions in them, it proves that when these nets are maximally permissive controlled (called as first-controlled), key transitions can result in the occurrence of deadlock phenomena (called as secondary-deadlock) in the controlled nets. Second, for S(3)PRs with key resources that contain key transitions and satisfy the Key condition, secondary-deadlocks can be characterized by maximal perfect control transition circuits (MPCT-circuits) that are saturated at some reachable markings of their first-controlled systems. Then, by adding a control place and related arcs to each MPCT-circuit, secondary deadlocks can be prevented and optimal Petri net controllers are designed for S(3)PRs with key resources that satisfy the Key-transition. Thereby, an optimal deadlock control policy for a class of FMSs with key resources is synthesized. Finally, a few examples are provided to demonstrate the presented policy. (C) 2015 Elsevier Inc. All rights reserved.