Szczegóły publikacji
Opis bibliograficzny
A quick heuristic algorithm for enforcing the liveness of $S^{3}PR$ Petri nets / Andrei KARATKEVICH, Iwona Grobelna // W: INFOTEH [Dokument elektroniczny] : 2023 22nd international symposium INFOTEH-JAHORINA (INFOTEH) : March 15–17, 2023, Jahorina, East Sarajevo, Republic of Srpska, Bosnia and Herzegovina : proceedings / University of East Sarajevo. Faculty of Electrical Engineering, [etc.]. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2023. — (International Symposium on INFOTEH-JAHORINA ; ISSN 2767-9454). — Dod. CD ISBN: 978-1-6654-7545-7, Print on Demand ISBN: 978-1-6654-7547-1. — e-ISBN: 978-1-6654-7546-4. — S. 1-6. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 6, Abstr. — Publikacja dostępna online od: 2023-04-11
Autorzy (2)
- AGHKaratkevich Andrei
- Grobelna Iwona
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 146289 |
|---|---|
| Data dodania do BaDAP | 2023-04-19 |
| Tekst źródłowy | URL |
| DOI | 10.1109/INFOTEH57020.2023.10094203 |
| Rok publikacji | 2023 |
| 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
The optimal deadlock avoiding, deadlock recovery, as well as deadlock detection in Petri nets are the NP-hard problems. For this reason, heuristic algorithms for finding the approximate solutions of such problems are of a great interest. In the paper a heuristic method of deadlock recovery for the S 3 PR nets, which are often used for modelling of manufacturing systems, is proposed. The method is based on the idea of resetting the process instances in the S 3 PR nets and a heuristic for breaking the cycles in the wait-for graphs. The method does not require any time consuming operations such as construction of the reachability graph, explicit detecting of all reachable deadlocks or all elementary cycles in a wait-for graph, hence it is quick. The simple recovery transitions are added to the net providing recovery from both global and local deadlocks.
