%0 Journal Article
%A Węgrzyn, A.
%A Karatkevich, A.
%A Bieganowski, J.
%T Detection of deadlocks and traps in Petri nets by means of Thelen's prime implicant method
%J International Journal of Applied Mathematics and Computer Science
%D 2004
%P 113-121
%V 14
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2004_14_1_a12/
%G en
%F IJAMCS_2004_14_1_a12