%0 Journal Article
%A Jančar, Petr
%T Decidability questions for some dynamic properties of Petri nets [Abstract of thesis]
%J Commentationes Mathematicae Universitatis Carolinae
%D 1989
%V 30
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1989__30_1_a35/
%G en
%F CMUC_1989__30_1_a35