TY  - JOUR
AU  - Węgrzyn, A.
AU  - Karatkevich, A.
AU  - Bieganowski, J.
TI  - Detection of deadlocks and traps in Petri nets by means of Thelen's prime implicant method
JO  - International Journal of Applied Mathematics and Computer Science
PY  - 2004
SP  - 113
EP  - 121
VL  - 14
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IJAMCS_2004_14_1_a12/
LA  - en
ID  - IJAMCS_2004_14_1_a12
ER  -