A Think-Globally-Act-Locally-Based Method of Maximally Permissive Liveness-Enforcing Supervisors for Flexible Manufacturing Systems

Abstract

With a vector covering (VC) technique, this study proposes a think-globally-actlocally-based (TGAL for short) approach in order to design optimal supervisors for flexiblemanufacturing systems (FMSs). First, a global idle place is added into a Petri net (PN) modelof an FMS according to the TGAL concept. With the global idle place being marked by onetoken at the initial marking, the model’s reachability graph is generated to analyze its liveness.If it is not live, one finds first-met bad markings (FBMs) and all legal markings. By applying theVC approach, these markings can be covered by a minimal covered set (MCdS) of FBMs and aminimal covering set (MCgS) of legal markings, respectively, to remarkably reduce the number ofmarkings under consideration. For each FBM in the MCdS of FBMs, we modify the marking inthe MCgS of FBM-related legal markings to guarantee that every place has the maximal tokens.By using the modified FBM-related legal markings, a set of optimal control places (monitors)can be calculated by solving an integer linear programming problem. Necessary monitors arefigured out by a redundancy test. Then, we increase the number of tokens in the global idle place.This process is repeated until all legal markings are reachable. Then, a maximally permissivesupervisor can be obtained. Finally, by means of experimental studies, the proposed method istested for some PN models, showing that the designed supervisors are maximally permissivesince the monitors do not prohibit any legal markings.