Szczegóły publikacji
Opis bibliograficzny
What if we restore to the future? : an alternative concept of deadlock recovery with Petri nets / Iwona Grobelna, Andrei KARATKEVICH // W: INFOTEH [Dokument elektroniczny] : 2026 25th international symposium INFOTEH-JAHORINA (INFOTEH) : March 18–20, 2026, Jahorina, East Sarajevo, Republic of Srpska, Bosnia and Herzegovina : proceedings. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2026. — ( International Symposium on INFOTEH-JAHORINA ; ISSN 2767-9454 ). — Print on Demand(PoD) ISBN: 979-8-3315-6965-5. – USB ISBN: 979-8-3315-6963-1. — e-ISBN: 979-8-3315-6964-8. — S. [1–4]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. [4], Abstr. — Publikacja dostępna online od: 2026-04-21
Autorzy (2)
- Grobelna Iwona
- AGHKaratkevich Andrei
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 167442 |
|---|---|
| Data dodania do BaDAP | 2026-05-18 |
| Tekst źródłowy | URL |
| DOI | 10.1109/INFOTEH68759.2026.11477682 |
| Rok publikacji | 2026 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Wydawca | Institute of Electrical and Electronics Engineers (IEEE) |
| Czasopismo/seria | International Symposium on INFOTEH-JAHORINA |
Abstract
Petri nets remain a well-established formalism for modelling flexible manufacturing systems, where resource contention and process interactions may lead to deadlock situations that halt the system operation. Usually, recovery policies rely on rollback mechanisms, forcing a system to return to an earlier legal state from which the recovered deadlock is still reachable, so a looping is possible. In this paper, we consider a backward and forward-looking deadlock recovery policy, introducing the concept of moving to an alternative state. Instead of just reversing, the method identifies a previous legal marking and its next legal marking, and augments the Petri net with dedicated recovery transitions that move the system directly toward this desirable state. The proposed approach preserves the original state space. The preliminary results indicate that restore-to-the-future recovery is a promising alternative to classical rollback-based methods.
