Sagindykov, K. and Mussaif, G. 2016. The use of Petri nets for the evaluation of information security systems. Bulletin of the Karaganda University. Mathematics Series. 83, 3 (Sep. 2016), 70–75.