| № | Дата |
Автор |
Заглавие |
|---|
|
2005 |
Костина, Светлана Александровна |
Моделирование логистических процессов в автоматизированных распределенных производственных системах на основе сетей Петри : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.06 / Костина Светлана Александровна ; [Московский государственный институт электронной техники (технический университет)] |
|
2004 |
Окунишникова, Елена Валерьевна |
Моделирование Estelle-спецификаций распределенных систем с помощью раскрашенных сетей Петри : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Окунишникова Елена Валерьевна ; Российская академия наук, Сибирское отделение, Институт систем информатики им. А.П.Ершова |
|
2007 |
Доля, Алексей Владимирович |
Алгоритмы безопасного перехода в сетях Петри для лицензионной защиты программных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Доля Алексей Владимирович ; [Научно-исследовательский институт механики и прекладной математики Южного федерального университета] |
|
2008 |
Быстров, Александр Васильевич |
Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Быстров Александр Васильевич ; [Институт систем информатики им. А. П. Ершова Сибирского отделения Российской академии наук] |
|
1987 |
Матюшков, Леонид Петрович (кандидат технических наук) |
Моделирование информационного обеспечения для управления НИОКР / Л.П.Матюшков, В.М.Нозик, А.Г.Римский |
|
1989 |
Новиков, Яков Андреевич (кандидат технических наук) |
Структурное проектирование алгоритмов логического управления технологическими процессами. Модель взаимосвязанных автоматных сетей Петри / Я. А. Новиков, В. В. Тропашко |
|
2003 |
Закревский, Аркадий Дмитриевич (доктор технических наук ; 1928—2014) |
Параллельные алгоритмы логического управления / А.Д.Закревский ; Национальная академия наук Беларуси, Объединенный институт проблем информатики |
|
1987 |
Ковалев, Андрей Владимирович |
О нахождениии отношения параллельности на множестве мест одного подкласса сетей Петри |
|
1988 |
Смородинский, Сергей Степанович |
Математические модели и методы в САПР : учебное пособие по курсам "Моделирование систем" и "Математические модели и методы в САПР" для специальности "Автоматизированные системы управления" / С. С. Смородинский, М. П. Ревотюк ; Министерство высшего и среднего специального образования БССР |
|
2005 |
Дарадкех, Ю. И. |
Интерпретация полиморфных сетевых моделей в распределенных системах реального времени : автореф. дис.... канд. техн. наук : 05.13.11 / Юсеф Ибрахим Юсеф Дарадкех ; Бел. гос. ун-т информатики и радиоэлектроники |
|
1991 |
Зиновьев, Эдуард Васильевич |
Методы управления сетевыми информационными системами / Латв.АН.Ин-т экон |
|
1990 |
Abel, Dirk |
Petri-Netze fur Ingenieure : Modellbildn. u. Analyse diskret gesteuerter Systeme |
|
1984 |
Питерсон, Джеймс |
Теория сетей Петри и моделирование систем |
|
2014 |
Башкин, Владимир Анатольевич (кандидат физико-математических наук) |
Некоторые методы ресурсного анализа сетей Петри : автореферат диссертации на соискание ученой степени доктора физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Башкин Владимир Анатольевич ; [Ярославский государственный университет им. П. Г. Демидова] |
|
2015 |
Королев, Юрий Ильич |
Методы и программные средства моделирования сложных динамических систем на основе темпоральной модификации раскрашенных сетей Петри : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Королев Юрий Ильич ; [ФГБОУ ВО НИУ "МЭИ"] |
|
2021 |
Баранова, Елена Константиновна (информационная безопасность) |
Моделирование системы защиты информации : практикум : учебное пособие : для студентов высших учебных заведений, обучающихся по направлению "Прикладная информатика" / Е. К. Баранова, А. В. Бабаш |
|
2003 |
Башкин, Владимир Анатольевич (кандидат физико-математических наук) |
Бисимуляция ресурсов в сетях Петри : автореф. дис. на соиск. учен. степ. канд. физ-мат. наук : 05.13.17 / Башкин Владимир Анатольевич ; [Яросл. гос. ун-т им. П.Г.Демидова] |
|
2006 |
Чалый, Дмитрий Юрьевич |
Моделирование и анализ сетевых транспортных протоколов с помощью раскрашенных сетей Петри : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Чалый Дмитрий Юрьевич ; [Ярославский государственный университет им. П.Г.Демидова] |
|
1998 |
Короткевич, Андрей Геннадьевич |
Анализ и оптимизация параллельных алгоритмов логического управления : Автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.01 / Бел. гос. ун-т информатики и радиоэлектроники |
|
2008 |
Коротиков, Сергей Викторович (кандидат технических наук) |
Применение сетей Петри в разработке многопоточного программного обеспечения с ограниченными разделяемыми ресурсами на примере центров дистанционного управления и контроля : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Коротиков Сергей Викторович ; [Новосибирский государственный технический университет] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ