A Set Covering Approach to Design Maximally Permissive Supervisors for Flexible Manufacturing Systems
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...
المؤلفون الرئيسيون: | , , |
---|---|
التنسيق: | مقال |
اللغة: | English |
منشور في: |
MDPI AG
2024-05-01
|
سلاسل: | Mathematics |
الموضوعات: | |
الوصول للمادة أونلاين: | https://www.mdpi.com/2227-7390/12/11/1687 |