%0 Journal Article %T USE OF PETRI NETS FOR MODELING THE METHODS OF PARALLELIZATION OF INFORMATION SECURITY ALGORITHMS IN THE SYSTEMS WITH MASSIVE PARALLEL COPROCESSORS %A Sizonenko, A.. %A Menshikh, V.. %K Boolean functions, system of Boolean functions, parallel logical computing, algorithms, Petri nets, CPN Tools %J Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics %D 2014 %N 2014 %P 9 %I Astrakhan State Technical University