Abstract
Conference Title: 2014 33rd Chinese Control Conference (CCC) Conference Start Date: 2014, July 28 Conference End Date: 2014, July 30 Conference Location: Nanjing, China Deadlocks are a rather undesirable phenomenon in flexible manufacturing systems (FMSs). This work, by adding monitors, develops a deadlock prevention policy for FMSs that can be modeled by a class of Petri nets called α-S3PR with ξ-resources. First, an algorithm is given to reduce an S3PR via a ξ-resource. Based on it, ξ-resources in α-S3PRs are classified into A-ξ-resources and B-ξ-resources. Next, for an α-S3PR with only B-ξ-resources, it is proved that a maximally permissive liveness-enforcing supervisor can be designed by M-controlling all the emptied strict minimal siphons (SMSs). For an α-S3PR containing A-ξ-resources, a liveness-enforcing supervisor can be designed by iteratively reducing the net via A-ξ-resources and adding the corresponding monitors. Finally, a comprehensive deadlock prevention algorithm for α-S3PRs is presented. An FMS example is used to illustrate its application. [PUBLICATION ABSTRACT]