Реализация системы проверки моделей раскрашенных сетей Петри с использованием развертокКозюра, В. Е.200244 с.