Detection of deadlocks and traps in Petri nets by means of Thelens prime implicant method

Szczegóły
Opis

Tytuł:: Detection of deadlocks and traps in Petri nets by means of Thelens prime implicant method
Autorzy:: Węgrzyn, A.
Karatkevich, A.
Bieganowski, J.
Powiązania:: https://bibliotekanauki.pl/articles/907258.pdf
Data publikacji:: 2004
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: sieć Petriego
blokada
pułapka
żywotność
Petri net
deadlock
trap
analysis
liveness
Źródło:: International Journal of Applied Mathematics and Computer Science; 2004, 14, 1; 113-121
1641-876X
2083-8492
Język:: angielski
Prawa:: Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

A new method of detecting deadlocks and traps in Petri nets is presented. Deadlocks and traps in Petri nets can be represented by the roots of special equations in CNF form. Such equations can be solved by using the search tree algorithm proposed by Thelen. In order to decrease the tree size and to accelerate the computations, some heuristics for Thelen's method are presented.

Informacja

Powiązane pozycje