Релаксація мереж Петрі для пояснення нездійсненності та планування послідовних завдань
Автори: Nguyen Cong Nhat Le, John G. Rogers, Claire N. Bonial, Neil T. Dantam
Опубліковано: 2026-02-26
Переглянути на arXiv →Анотація
Ця стаття представляє новий метод аналізу та релаксації мереж Петрі для пояснення нездійсненних планів завдань та полегшення надійного послідовного планування завдань у складних роботизованих та автоматизованих системах. Визначення мінімальних критичних підмереж, що викликають нездійсненність, забезпечує інтерпретовані відомості, дозволяючи більш адаптивні та стійкі автономні операції в динамічних середовищах. Це дослідження має значний потенціал для реального застосування в робототехніці, автоматизації та інтелектуальному виробництві, де надійне планування та діагностика несправностей є критично важливими для ефективності та безпеки експлуатації.