РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016611515

Дата регистрации: 04.02.2016

Номер и дата поступления заявки: 2015662179 14.12.2015

Дата публикации: 20.02.2016

Контактные реквизиты:
demiurg@iacp.dvo.ru, 8-902-557-27-33, Харитонов Дмитрий Иванович
	
Авторы:
Харитонов Дмитрий Иванович,
Тарасов Георгий Витальевич,
Леонтьев Денис Васильевич

Правообладатель:
Федеральное государственное бюджетное учреждение науки Институт автоматики и процессов управления Дальневосточного отделения Российской академии наук (ИАПУ ДВО РАН)

Название программы для ЭВМ:
Генератор примеров моделей программ в терминах сетей Петри

Реферат:
Программа позволяет получать примеры моделей программ с заданными характеристиками. Данные модели представляют практический интерес при создании и отладке новых алгоритмов анализа моделей программ в терминах сетей Петри. Входными данными для программы является количество элементов сети и набор шаблонных конструкций, из которых будет строиться результирующая сеть. Генерация сети осуществляется в автоматическом режиме. Предельный размер сети, который может быть получен с помощью генератора, ограничен размером оперативной памяти компьютера.

Тип реализующей ЭВМ: IBM PC - совмест. ПК

Язык программирования: С++

Вид и версия операционной системы: GNU/Linux

Объем программы для ЭВМ: 26 Кб