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