Szczegóły publikacji
Opis bibliograficzny
Three novel deadlock recovery policies for $S^{3}PR$-based manufacturing systems / Andrei KARATKEVICH, Iwona Grobelna // Scientific Reports [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2045-2322 . — 2026 — vol. 16 iss. 1 art. no. 21722, s. 1–19. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 17–18, Abstr. — Publikacja dostępna online od: 2026-05-12
Autorzy (2)
- AGHKaratkevich Andrei
- Grobelna Iwona
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 169285 |
|---|---|
| Data dodania do BaDAP | 2026-07-31 |
| Tekst źródłowy | URL |
| DOI | 10.1038/s41598-026-47427-4 |
| Rok publikacji | 2026 |
| Typ publikacji | artykuł w czasopiśmie |
| Otwarty dostęp |  |
| Creative Commons | |
| Czasopismo/seria | Scientific Reports |
Abstract
Manufacturing systems are supposed to operate flawlessly and not to cease functioning due to the deadlocks. Petri nets as a formal specification language, and in particular their subclass known as systems of simple sequential processes with resources (nets), are well suited to model modern flexible manufacturing systems. They allow for formal analysis of the production processes and checking whether a system can suspend its functionality under some circumstances. In such a case, deadlock recovery policies can be applied to enforce the liveness of the models. In the study, we propose, analyze and discuss some new approaches to deadlock recovery. Three methods are presented and compared: one of them is based on the reachability graph traversal, the second is based on restarting of the process instances, and in the third method the cycles in the resource flow graphs are considered. All the proposed policies allow for the obtaining of acceptable solutions which are similar to or better than the ones provided by other known methods. Furthermore, the problem of phantom deadlocks in nets is identified and formally analyzed. Some new results on reachability in nets are presented.
