TY JOUR TI USE OF PETRI NETS FOR MODELING THE METHODS OF PARALLELIZATION OF INFORMATION SECURITY ALGORITHMS IN THE SYSTEMS WITH MASSIVE PARALLEL COPROCESSORS KW Boolean functions KW system of Boolean functions KW parallel logical computing KW algorithms KW Petri nets KW CPN Tools JO Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics AU Sizonenko, A.. AU Menshikh, V.. PY 2014 IS 2014 PB Astrakhan State Technical University