Sagindykov, K.M.; Mussaif, G. The Use of Petri Nets for the Evaluation of Information Security Systems. M 2016, 83, 70-75.