Марков, Александр Владимирович. Проверка достижимости маркировки сетей Петри при помощи инвертирования деревьев состояний для протокола передачи данных [Текст] / А. В. Марков, А. А. Воевода // Томский государственный университет систем управления и радиоэлектроники. Доклады Томского государственного университета систем управления и радиоэлектроники : периодический научный журнал. - 2014. - N 1(31). - С. 143-148 . - ISSN 1818-0442 Коды, Ключ.слова, Доп.точки доступа  Полный текст/внешний ресурс (постраничный просмотр) : 2014(31)1 Markov.pdf или скачать Имеются экземпляры в отделах: всего 2 : сбо (2) Свободны: сбо (2) |