%0 Journal Article %A M. G. Dorrer %A V. V. Kurokhtin %T Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios %J Modelirovanie i analiz informacionnyh sistem %D 2012 %P 128-143 %V 19 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAIS_2012_19_4_a10/ %G ru %F MAIS_2012_19_4_a10