%0 Journal Article
%A A. V. Dereza
%A E. A. Luk'yanova
%T On the structuring of the involve discrete information of Petri model for acceleration computation of invariants purpose
%J Taurida Journal of Computer Science Theory and Mathematics
%D 2017
%P 62-71
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TVIM_2017_2_a3/
%G ru
%F TVIM_2017_2_a3