Sagindykov, K.M., and G. Mussaif. “The Use of Petri Nets for the Evaluation of Information Security Systems”. Bulletin of the Karaganda University. Mathematics Series, vol. 83, no. 3, Sept. 2016, pp. 70-75, https://mts.buketov.edu.kz/index.php/mathematics-vestnik/article/view/109.