A Set Covering Approach to Design Maximally Permissive Supervisors for Flexible Manufacturing Systems

Yongyao Li, Yufeng Chen () and Rui Zhou
Additional contact information
Yongyao Li: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China
Yufeng Chen: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China
Rui Zhou: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau 999078, China

Mathematics, 2024, vol. 12, issue 11, 1-20

Abstract: The supervisory control of Petri nets aims to enforce the undesired behavior as unreachable by designing a set of control places. This work presents a set cover approach to design maximally permissive supervisors. For each first-met bad marking, an integer linear programming problem is developed to obtain a control place to prohibit it. An objective function is formulated to make the maximal number of first-met bad markings forbidden. Then, we develop a set covering approach to minimize the number of selected control places. The proposed approach can guarantee the maximal permissiveness of the obtained supervisor and provide a trade-off between structural complexity and computational cost. Several examples are considered to validate the proposed method.

Keywords: discrete event system; flexible manufacturing system; Petri net; deadlock; supervisory control (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2024
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://www.mdpi.com/2227-7390/12/11/1687/pdf (application/pdf)
https://www.mdpi.com/2227-7390/12/11/1687/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:12:y:2024:i:11:p:1687-:d:1404441

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().