Язов, Ю.К., Авсентьев, О.С., Авсентьев, А.О., Рубцова, И.О.: Метод оценивания эффективности защиты электронного документооборота с применением аппарата сетей Петри — Маркова. Труды СПИИРАН 18(6), 1269-1300 (2019). doi:10.15622/sp.2019.18.6.1269-1300