- Tytuł:
- Detection of deadlocks and traps in Petri nets by means of Thelens prime implicant method
- Autorzy:
-
Węgrzyn, A.
Karatkevich, A.
Bieganowski, J. - Tematy:
-
sieć Petriego
blokada
pułapka
żywotność
Petri net
deadlock
trap
analysis
liveness - Pokaż więcej
- Data publikacji:
- 2004
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Dostawca treści:
- Biblioteka Nauki
Artykuł