TY  - JOUR
AU  - A. V. Dereza
AU  - E. A. Luk'yanova
TI  - On the structuring of the involve discrete information of Petri model for acceleration computation of invariants purpose
JO  - Taurida Journal of Computer Science Theory and Mathematics
PY  - 2017
SP  - 62
EP  - 71
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TVIM_2017_2_a3/
LA  - ru
ID  - TVIM_2017_2_a3
ER  -