Application of Critical-Siphon Theory to Fastest Deadlock Controller for a Class of Flexible Manufacturing Systems

Abstract

We developed theory to show exactly one monitor is required for the set of siphons in the family of a 2-compound siphons and how to assign its initial markings. This avoids redundant monitors and the unnecessary associated computational burden. Neither reachability graph nor minimal siphon needs to be computed achieving polynomial complexity---essential for large systems. This paper redevelops the theory more formally and further applies this approach to two well-known S3PR to obtain a controller full or near maximally permissive.