Yazov, Y., Avsentev, O., Avsentev, A. and Rubtsova, I. 2019. Method for Assessing Effectiveness of Protection of Electronic Document Management using the Petri and Markov Nets Apparatus. SPIIRAS Proceedings. 18, 6 (Dec. 2019), 1269-1300. DOI:https://doi.org/10.15622/sp.2019.18.6.1269-1300.