Диплом, курсовая, контрольная работа
Помощь в написании студенческих работ

Метод F-сетей для моделирования мультипроцессорных вычислительных систем

Диссертация: Метод F-сетей для моделирования мультипроцессорных вычислительных систем
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Windows". Программный комплекс предназначен для построения F-сетевых моделей различных систем, содержащих параллельно протекающие асинхронные процессы, имитационного моделирования со сбором статистики, анализа построенных моделей, а также для обучения методам имитационного моделирования. Комплекс программ «Сети Петри для Windows» имеет все необходимые встроенные средства обучения, содержит в себе… Читать ещё >

Содержание

  • 1. ПРОБЛЕМА ОЦЕНКИ ВРЕМЕНИ ВЫПОЛНЕНИЯ ВЗАИМОДЕЙСТВУЮЩИХ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ
    • 1. 1. Системы реального времени, некоторые аспекты технологии их проектирования
    • 1. 2. Понятие аппаратно-программного дуализма
    • 1. 3. Параллельные вычислительные процессы
    • 1. 4. Бортовые мультипроцессорные вычислительные системы и проблемы их моделирования
    • 1. 5. Имитационное моделирование вычислительных систем
    • 1. 6. Основные понятия и формальное описание сетей Петри,
    • 1. 7. Сравнительный анализ известных модификаций формализма сетей Петри
  • Выводы
  • 2. F-СЕТИ ПЕТРИ
    • 2. 1. Принципы расширения сетей Петри до F-сетей
    • 2. 2. Формальное описание F-сетей
    • 2. 3. F-сети и сети автоматов
    • 2. 4. Вербальное описание основных примитивов
    • 2. 5. Формальное описание процедур срабатывания переходов
    • 2. 6. Операции на F-сетях
    • 2. 7. Анализ F-сетей Петри, алгоритм построения дерева достижимых маркирований
  • Выводы
  • 3. ПРИНЦИПЫ СОЗДАНИЯ КОМПЛЕКСА ПРОГРАММ ДЛЯ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ МУЛЬТИПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ НА ОСНОВЕ ИСПОЛЬЗОВАНИЯ F-СЕТЕЙ
    • 3. 1. Основные принципы создания комплекса программ
    • 3. 2. Проблемы построения подсистемы эмуляции для моделирования МВС и принципы их разрешения при использовании аппарата F-сетей
    • 3. 3. Таблицы решений и их использование в автоматах F-сетей для описания, разбора и исполнения двоичного кода
    • 3. 4. Технические предложения по архитектуре подсистемы эмуляции
  • Выводы
  • 4. ПРИМЕРЫ ИСПОЛЬЗОВАНИЯ F-СЕТЕЙ ДЛЯ МОДЕЛИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ
    • 4. 1. Многомашинная бортовая вычислительная система с кольцевой магистралью и маркерным методом доступа
    • 4. 2. Бортовая вычислительная система ЦВМ
    • 4. 3. Моделирование раоты кэш-памяти
    • 4. 4. Методика построения F-сетевых имитационных моделей
  • Выводы

Метод F-сетей для моделирования мультипроцессорных вычислительных систем (реферат, курсовая, диплом, контрольная)

Решаемая научно-техническая проблема — это моделирование в общем случае неоднородных мультипроцессорных вычислительных систем, что позволяет осуществлять комплексное тестирование разрабатываемого программного обеспечения для систем реального времени параллельно с проведением работ по созданию аппаратных средств.

Актуальность темы

диссертационной работы связана с необходимостью иметь эффективные, простые и удобные методы и средства, которые бы позволяли разработчикам моделировать мультипроцессорные вычислительные системы (МВС) реального времени на уровне выполнения параллельных взаимодействующих программ, что позволяет ускорить проектные работы и снизить затраты на их проведение.

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

• функционирование в реальном масштабе времени, что объясняется ограничениями, накладываемыми на время выполнения ряда функций системы;

• наличие нескольких источников входных задач (ввод-вывод информации в каналы связи, обработка данных с датчиков, выполнение команд контроллеров и устройств ввода-вывода и т. д.), при этом БЦВС должна эффективно распределять свои ресурсы, ограниченность которых (вычислительная мощность, емкость ОЗУ, пропускная способность каналов связи и магистралей) является причиной конкуренции задач за данные ресурсы;

• дублирование выполнения наиболее важных функций и некоторых отдельных вычислителей и подсистем для повышения надежности и живучести БЦВС.

В последние годы появились комплексы вычислительного оборудования, которые разрабатываются в виде вычислительных модулей, модулей памяти, модулей ввода/вывода и т. д. Модули являются информационно, электрически и конструктивно совместимыми и представляют собой ряд унифицированных модулей, на основе которых могут быть созданы вычислительные системы различной конфигурации (ярким примером этого подхода являются компоненты, на основе которых создаются разнообразные конфигурации персональных компьютеров). Гарантией производительной и безотказной работы всей системы являются не только удачное архитектурное решение и надежность самих компонентов, но и четкое выполнение спецификаций ее архитектурной основы — системного интерфейса, а также базового системного программного обеспечения (ПО).

Современные вычислительные системы имеют несколько параллельно функционирующих активных компонентов, таких как центральный процессор или множество процессорных элементов (их может быть несколько в мультипроцессорной ВС), процессоры и контроллеры ввода-вывода для управления различными периферийными устройствами, а также — сами внешние устройства (датчики и исполнительные механизмы). При проектировании таких сложных вычислительных систем и, в частности, при разработке ПО, непосредственно связанного с управлением объектами и процессами, естественно возникают задачи моделирования их работы с целью проверить правильность алгоритмов и программ с учетом их взаимодействия, оценить реальное быстродействие системы и имеющиеся резервы, по возможности найти наиболее эффективные пути и способы увеличения производительности как отдельных компонентов, так и всей системы в целом, а где возможно, то и снизить требования по быстродействию. Особенно важное значение по возможным последствиям от ошибочных результатов оценки предлагаемых решений приобретает моделирование на самых начальных этапах проектирования и, в частности, на этапе составления технического задания на вычислительную систему в целом и ее отдельные компоненты.

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

Очевидно, что для решения такой нетривиальной задачи необходимо иметь адекватный математический аппарат, методы его использования и модели-примитивы, а также соответствующие инструментально-технологические средства. Для исследования дискретных параллельных асинхронных процессов, которые характерны для вычислительных систем, активно используют аппарат сетей Петри. Сети Петри являются одним из современных и перспективных формализмов, посредством которого могут решаться многочисленные научные и практические задачи. Более того, некоторые задачи могут быть успешно решены только с привлечением методов и алгоритмов анализа объектов, разработанных в рамках теории сетей Петри. Известны комплексы программ, с помощью которых можно решать отдельные задачи, но зачастую их возможности далеки от желаемых. В настоящее время исследования и разработки в данной области прежде всего проводятся за рубежом (преимущественно в США, Германии, Франции, Италии, Украине, Литве, Канаде, Бразилии, Австралии, Чехии, Польше, Южно-Африканской республике и в ряде других развитых стран), и в России (Новосибирск, Москва, Санкт-Петербург, Пермь, Пенза и др.). Однако, при этом теоретические и прикладные возможности данного математического аппарата находятся все еще в стадии интенсивного развития и настоятельно требуют расширения как круга своих исследователей, так и различных пользователей из разнообразных предметных областей.

Цель диссертационной работы состоит в разработке новых методов и средств моделирования, которые позволят исследовать мультипроцессорные вычислительные системы не только на уровне традиционного подхода к имитационному моделированию, но и на уровне исполнения машинного кода процессорными элементами и оценивать функционирование системы с учетом масштаба реального времени и взаимодействия параллельных вычислительных процессов.

Основные задачи. В процессе выполнения исследований в рамках диссертационной работы решались следующие задачи:

• Анализ состояния работ по созданию методов и соответствующих программно-инструментальных средств моделирования, анализа и отладки архитектуры и конфигурации вычислительных систем (в том числе и бортовых) с учетом конкретных параллельных вычислительных процессов (системных и прикладных), развивающихся и взаимодействующих при функционировании системы.

• Анализ различных модификаций сетей Петри с целью определения возможности и целесообразности их использования для моделирования мультипроцессорных вычислительных систем (с учетом особенностей выполнения параллельных вычислительных процессов) и использования в новой модификации сетей Петри — F-сетях.

• Разработка нового формализма, позволяющего адекватно моделировать развитие дискретных параллельных асинхронных процессов и преобразование информации при функционировании системы.

• Разработка методов и средств эмуляции программ с учетом архитектуры не только вычислительного комплекса в целом, но и архитектурных особенностей отдельных процессоров и подсистем на основе настраиваемых таблиц решений эмулятора и представления системы в виде сетевых моделей для оценки качества программно-аппаратных средств с учетом реального времени.

• Разработка моделей (примитивов) основных компонентов мультипроцессорных вычислительных систем и некоторых других сложных систем, методики и средств автоматизированного построения F-сетевых моделей.

• Разработка концепции, архитектуры и макета программно-инструментальных средств для ПЭВМ типа IBM PC для моделирования и оценки качества вычислительных систем и комплексов автоматизированного оборудования (в том числе и бортового) на различных уровнях их представления.

Методы исследования. Для решения поставленных задач использовались методы дискретной математики (в частности, теории множеств, теории графов, теории автоматов), алгоритмизации и программирования теория алгоритмов, теории параллельных взаимодействующих процессов), основ вычислительной техники, теории сетей Петри.

Научная новизна. В ходе выполнения исследований в рамках диссертационной работы получены следующие научные результаты:

• разработан метод моделирования неоднородных мультипроцессорных и многомашинных вычислительных систем на уровне параллельного исполнения программного кода, заключающийся в разборе и исполнении машинных команд с помощью таблиц решений, и синхронизации работы компонентов аппаратуры с помощью специально модифицированных сетей Петри;

• разработана модификация сетей Петри — F-сети, которые дают возможность моделировать и осуществлять количественный и качественный анализ сложных систем с параллельными дискретными процессами с учетом масштаба времени и отображением с необходимой детализацией основных нюансов их функционирования;

• предложен алгоритм построения дерева достижимых маркирований F-сетевых моделей для анализа систем, представляемых F-сетями;

• создана методика построения F-сетевых моделей сложных систем с дискретными параллельными процессами, заключающаяся в использовании как операций объединения ранее созданных сетевых фрагментов, так и заранее созданных библиотечных модулей, специально ориентированных на решение определенных задач из заданной предметной области;

• предложен метод создания алгоритмов и программ для решения задач, представленных таблицами решений.

Практическая значимость работы. В результате выполненной диссертационной работы можно констатировать следующее:

• Создано несколько программных макетов и законченных программных средств для моделирования и анализа систем, представленных F-сетями Петри:

Подсистема имитационного моделирования бортовых цифровых вычислительных систем на основе модифицированных сетей Петри", 1990 г. — по заказу НИИАО;

Электронный учебник «Сети Петри: Моделирование и анализ», 1992 г. — по заказу РосНИИИС;

Интегрированная система моделирования и анализа на основе сетей Петри", 1994 г. — по заказу С.-Пб. РФНТР;

Сети Петри для Windows" (версии 1.0, 1995 г. и 2.2, 1996 г.) по заказу РосНИИИС.

• в процессе проведения ряда НИР промоделировано несколько систем, в том числе микропроцессорная система диспетчерского контроля и управления устройствами электроснабжения железных дорог, варианты бортовых цифровых вычислительных систем ЦВМ 80−400 и СБ3541, перспективной РБВС «Кентавр» (работы проводились в рамках НИР-781, утвержденной приказом МинВУЗа РСФСР N 147 от 12.11.87 г.) и др., что позволило оценить и подтвердить правильность и эффективность проектных решений.

• Комплекс программ «Сети Петри для Windows», который имеет все необходимые встроенные средства обучения, используется при подготовке магистров по направлению 552 800 в рамках специализации «Высокопроизводительные вычислительные системы». Названный комплекс программ используется в Санкт-Петербургском государственном техническом университете на кафедре автоматики и вычислительной техники при подготовке студентов по специальности 22.01 «Вычислительные машины, комплексы, системы и сети» и в Санкт-Петербургском электротехническом университете на кафедре АСОИиУ при подготовке студентов по специальности 22.02 «Автоматизированные системы обработки информации и управления» .

Основные результаты диссертационной работы реализованы в программном комплексе моделирования и анализа «Сети Петри для Windows». Программный комплекс предназначен для построения F-сетевых моделей различных систем, содержащих параллельно протекающие асинхронные процессы, имитационного моделирования со сбором статистики, анализа построенных моделей, а также для обучения методам имитационного моделирования. Программный комплекс функционирует на персональной ЭВМ типа IBM PC/AT при наличии не менее 4 Мб ОЗУ и 1800 Кб свободного пространства на жестком диске под управлением MS DOS в графической среде MS Windows 3. x или в Windows-95 и позволяет решать следующие задачи: ввод и редактирование моделей на основе F-сетей в графическом режимехранение построенных сетевых моделей в виде файлов на дискесоздание из сетевых моделей библиотек примитивов с приложением описаний и подсказок в формате Windowsавтоматизированное построение модели системы из заранее созданных моделей подсистем и примитивовмоделирование функционирования F-сетей со сбором статистических данных в автоматическом режиме и в режиме пошагового прогона модели с целью ее отладкианализ модели на основе классических сетей Петрипостроение дерева достижимости для моделей на основе F-сетей. Основные положения, выносимые на защиту:

• Формализм новой модификации оценивающих сетей — F-сети, которые ориентированы на имитационное моделирование сложных систем с дискретными асинхронными процессами с учетом масштаба времени и, прежде всего, для многопроцессорных и многомашинных вычислительных систем.

• Метод моделирования мультипроцессорных и многомашинных вычислительных систем на уровне параллельного исполнения программного кода, заключающийся в разборе и исполнении машинных команд с помощью таблиц решений, и синхронизации работы компонентов аппаратуры с помощью специально модифицированных сетей Петри.

• Алгоритм построения дерева достижимых маркирований F-сетевых моделей для анализа систем с дискретными параллельными асинхронными процессами, для которых важен учет масштаба времени.

• Принципы создания комплекса программ и алгоритмы работы основных модулей системы моделирования и анализа объектов с дискретными параллельными асинхронными процессами, представляемых F-сетями, методика построения F-сетевых моделей сложных систем.

Внедрение. Результаты диссертационной работы использованы в следующих организациях:

НИИВМПУ, в/ч 25 970 (НИР-524, шифр темы Экзамен-РВО) — п/я Ю-9539 (НИР-781, шифр темы Нева);

СПбГЭТУ (НИР-429, НИР-483, НИР-648, шифр темы Жердь-РВО) — в учебном процессе в СПбГТУ, СПбГЭТУ, СПбГУАП при подготовке студентов по специальности 22.01 и 22.02,.

Апробация работы. Основные результаты и положения диссертационной работы докладывались и обсуждались на следующих научно-технических конференциях, семинарах и симпозиумах:

• Общеинститутская научно-техническая конференция ЛИАП «НТК-37», Ленинград, 1987 г.;

• Совещание-семинар по учебно-исследовательским САПР, Ленинград, 1988;

• Научно-практический семинар «Технология проектирования программных и аппаратных средств вычислительных систем». ЛДНТП, Ленинград, 1989, 1990 гг.

• X Симпозиум по проблеме избыточности в информационных системах. Ленинград, 1989.

• III Всесоюзная конференция «Качество программных средств». Дагомыс, 1991.

• Всероссийская научно-техническая конференция с международным участием «Информационно-управляющие и вычислительные комплексы на основе новых технологий. Conference Inter Aero Space Systems». Санкт-Петербург, 1992.

• Научно-техническая конференция «Техническое диагностирование-93». Санкт-Петербург, 1993.

• Научное совещание по проблемам безопасности программного обеспечения, в/ч 30 895,1993.

• Научно-техническая конференция «Диагностика, информатика и метрология -94». Санкт-Петербург, 1994.

• Вторая международная школа-семинар «Новые информационные технологии». Гурзуф, 1994.

• Научно-техническая конференция «Диагностика, информатика и метрология -95». Санкт-Петербург, 1995.

• Научная военно-техническая конференция «Автоматизация процессов управления соединениями и частями ПВО, информационные технологии.» Санкт-Петербург, 1996.

• Международный симпозиум по проблемам модульных информационных компьютерных систем и сетей. Санкт-Петербург, 1997.

Публикации. По теме диссертационной работы опубликовано 17 статей и тезисов докладов, 1 учебное пособие и 3 электронных монографии:

• Электронный учебник «Сети Петри: Моделирование и анализ», 1992 г. — по заказу РосНИИИС;

• «Интегрированная система моделирования и анализа на основе сетей.

Петри", 1994 г. — по заказу С.-Пб. РФНТР;

• «Сети Петри для Windows» (версия 2.2, 1996 г.) по заказу РосНИИИС.

Основные положения диссертационной работы отражены в ряде отчетов по НИР, выполненных в ГУАП (ГААП, ЛИАП), СевероЗападном центре новых информационных технологий (СЗРЦНИТ, Санкт-Петербург), СПбИИТ, СПбГУ и СПбГЭТУ в 1986;95 гг.

В частности, в материалах по НИР-657 (ЛИАП), выполненной в 1987 г., были изложены методы и средства системного и функционального моделирования для решения задач проектирования цифровой аппаратуры. Методика построения сетевых имитационных моделей для исследования структуры вычислительных систем была разработана в процессе выполнения НИР-781. Материалы этой темы были изложены в отчетах ГР № Х74 995 (промежуточный отчет) и ГР № Г22 499 (заключительный отчет). В отчетах приведены сетевые примитивы для построения моделей, разработанные имитационные модели различных вычислительных систем и результаты их моделирования.

В материалах НИР, проводимых с НИИАО, были изложены основные принципы и архитектура подсистемы имитационного моделирования для исследования и разработки интегрированных систем навигации, посадки, связи и опознавания.

При выполнении в 1992 г. работ по заказу НИЦ информационных систем (Москва) были исследованы вопросы разработки программно инструментальных средств создания бортовых вычислительных систем и комплексов автоматизированного оборудования.

Разработанные в диссертационной работе формализм F-сетей и методы моделирования дискретных параллельных систем на его основе были применены при выполнении НИР по заказу СПбГЭТУ (ЛЭТИ) «Разработка методов и алгоритмов моделирования и анализа для исследования компонентов и подсистем автоматизированной системы обработки информации в комплексах сигнально — информационных средств с целью повышения их тактико — технических характеристик», которые проводились в 1991;1995 гг. Результаты этой работы (Методы и алгоритмы моделирования и анализа развития событий на контролируемой территории в ЦОРИ КРСС) имеются в отчетах СПбГЭТУ, имеются акты об использовании результатов диссертационной работы.

Ряд результатов диссертационной работы был получен и использован при выполнении НИР по заказу НИИ вычислительной математики и процессов управления при Санкт-Петербургском государственном университете. Работы выполнялись в рамках НИР «Поисковые исследования и разработка математических методов многокритериального оценивания вариантов управленческих и организационных решений по проектированию и созданию СВТС с целью повышения их эффективности и качества в условиях неполной информации» .

В отчетах по НИР СЗРЦ новых информационных технологий (Санкт-Петербург) за 1992 г. представлены экспертно-имитационные модели системы диспетчерского контроля и телемеханического управления устройствами электроснабжения железных дорог, которые были разработаны по заказу Санкт-Петербургского университета путей сообщения.

Результаты разработки математических методов, моделей и программных средств поддержки анализа и прогнозирования вариантов развития кризисных и конфликтных ситуаций с использованием нечисловой: неточной и неполной информации изложены в отчетах ЗАО «Академия» .

Основные результаты диссертационной работы реализованы в программном комплексе моделирования и анализа «Сети Петри для.

Windows". Программный комплекс предназначен для построения F-сетевых моделей различных систем, содержащих параллельно протекающие асинхронные процессы, имитационного моделирования со сбором статистики, анализа построенных моделей, а также для обучения методам имитационного моделирования. Комплекс программ «Сети Петри для Windows» имеет все необходимые встроенные средства обучения, содержит в себе большой объем оригинального дидактического материала (1242 К байт, не считая программных модулей, имеющих формат исполняемых файлов) и является электронной монографией по теме диссертационной работы. Названный комплекс используется при подготовке магистров по направлению 552 800 в рамках специализации «Высокопроизводительные вычислительные системы», а также в Санкт-Петербургском государственном техническом университете на кафедре автоматики и вычислительной техники при подготовке студентов по специальности 22.01 «Вычислительные машины, комплексы, системы и сети». Держателем этого программного комплекса является Российский НИИ информационных систем при министерстве Российской Федерации по высшему образованию.

Комплекс программ «Интегрированная система моделирования и формального анализа на базе сетей Петри», созданный в 1994 г. по заказу РосНИИИС, внесен за номером 07−002 в каталог программного обеспечения для информатизации и образования Российской Федерации. Данный комплекс также выполняет роль электронной монографииобъем дидактического материала (т.е. без программных модулей, имеющих форму исполняемых файлов) в этом комплексе составляет 1482К байт.

ЗАКЛЮЧЕНИЕ

.

В процессе выполнения работы были решены следующие основные задачи диссертации:

• Сформулированы основные необходимые принципы расширения сетей Петри, позволяющие разработать новый формализм для моделирования МВС (с учетом особенностей выполнения параллельных взаимодействующих вычислительных процессов и необходимости учитывать время), а также предложить принципы создания эффективных инструментальных средств на этой основе.

• Разработан новый формализм — так называемые F-сети, которые объединяют в себе модифицированные оценивающие сети и расширенные асинхронные автоматы. Показано, что F-сетями можно адекватно промоделировать выполнение параллельных взаимодействующих задач в МВС с учетом масштаба времени. Мощность моделирования F-сетей позволяет представлять ими любую модификацию сетей Петри. Для анализа F-сетей предложен алгоритм построения дерева достижимых маркирований.

• Разработан метод моделирования многомашинных и мультипроцессорных, в общем случае неоднородных, вычислительных систем на уровне исполнения программ, позволяющий получать точные оценки времени решения параллельных взаимодействующих процессов с учетом реального быстродействия основных компонентов, который основан на использовании в F-сетях специальных типов переходов и настраиваемого эмулятора, работающего по принципам табличного процессора.

• Разработаны модели (примитивы) основных компонентов МВС, методика и средства автоматизированного построения F-сетевых моделей большой размерности, заключающаяся в использовании как операций объединения ранее созданных сетевых фрагментов, так и заранее созданных библиотечных модулей, специально ориентированных на решение определенных задач из заданной предметной области.

Разработанные методы, модели, алгоритмы и программные средства использовались при проведении ряда НИР, в том числе и для исследования и разработки концепции бортовых вычислительных систем и сетей 1990;х годов, что позволило промоделировать основные варианты создаваемых БЦВС, сократить сроки проектных работ и гарантировать работу систем в режиме реального времени.

Показать весь текст

Список литературы

  1. О.И., Гурин Н. П., Коган А. Я. Оценка качества и оптимизация вычислительных систем. -М.: Наука, 1982. 464 с.
  2. Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных / Под ред. М. Брейера. М.: Мир, 1979. 463 с.
  3. Автоматное управление асинхронными процессами в ЭВМ и дискретных системах. / Под общ. ред. В. И. Варшавского. М.: Наука. Гл. ред. физ.-мат. лит., 1986. 400 с.
  4. Е.К., Рудня Ю. Л. Микропроцессор 80 386: как он работает и как работают с ним. СПб., «Элмор», 1994. 274 с.
  5. И.Н. Моделирование вычислительных систем. Л.: Машиностроение, 1988.223 с.
  6. П.А. Анализ параллельных граф-схем алгоритмов на корректность с помощью сетей Петри. // Программирование. 1980. N 6. С. 8289.
  7. П.А., Бандман О. Л. Алгоритмы и программы анализа свойств сетей Петри. // Препринт 762. Новосибирск. АН СССР ВЦ — 1988. — 32 с.
  8. В.В. Моделирование систем реального времени на основе расширения сетей Петри. // Изв. АН РФ. Техническая кибернетика, 1992, № 3,с.171−176.
  9. В.В. Расширение сетей Петри для моделирования параллельных процессов реального времени. // Автоматика и вычислительная техника, 1990 № 6-С. 42-.
  10. В.В., Пипенко С. В. Пакет моделирования дискретных процессов расширенными сетями Петри. // Автоматика и вычислительная техника, 1991, № 8, с. 83−87.
  11. Баер Ж.-Л. Методы исследования параллелизма. // Системы параллельной обработки: Сб. ст. М. Мир, 1986. С. 80−105.
  12. . Микроанализ производительности вычислительных систем. -М.: Радио и связь, 1980. 360 с.
  13. О.Л. Поведенческие свойства сетей Петри (обзор французских работ). // Изв. АН СССР. Техническая кибернетика, 1987, № 5, с. 134−150.
  14. О.Д. Проверка корректности сетевых протоколов с помощью сетей Петри. // Автоматика и вычислительная техника. 1986. N 6, С. 82−91.
  15. Ф.Л., Гооз Г. Информатика. Вводный курс: В 2-х ч. 4.1. / Пер. с нем. М.: Мир, 1990. 336 с.
  16. Г. П., Толмачев А. Л. Теория сетей массового обслуживания и ее приложения к анализу информационно-вычислительных систем // Итоги науки и техники. М.: 1983. т. 21. С. 3−209.
  17. B.C. Анализ F-сетевой модели с помощью параметризованного графа достижимости. // Информационно-вычислительные системы в промышленности и экономике. Сб. науч. тр., ГУАП, Спб, 1998.
  18. С., Возняцки Г. Анализ и синтез электрических цепей методом структурных чисел / Пер. с польского под ред. П. А. Ионкина. -М.: Мир, 1972. 330 с.
  19. Н.Н., Руднев В. В. Временные сети Петри. Классификация и сравнительный анализ. // Автоматика и телемеханика, 1990, № 10 С. 3−21.
  20. А.С., Марков Н. Г., Смирнов А. Ю. Система моделирования параллельных процессов. // Управляющие системы и машины, 1991, № 8, С. 87−94.
  21. А.В. Концептуальный анализ программного обеспечения распределенных вычислительных систем: Автореферат дисс. на соиск. учен. степ. канд. техн. наук./ЛИАП. Л., 1991. 18 с.
  22. А.В., Фильчаков В. В. Концептуальный анализ вычислительных систем: Учеб. пособие. / ЛИАП. Спб., 1991. 78 с.
  23. В.Н. Автоматизация имитационного моделирования сложных систем. М.: Наука, 1977. 240с.
  24. Буч Г. Объектно-ориентированное проектирование с примерами применения: Пер. с англ. М.: Конкорд, 1992. 519 с.
  25. А.С., Коровин А. В., Удалов В. Н. Эффективное функционирование управляющих мультипроцессорных систем. М.: Радио и связь, 1984. 328 с.
  26. В.А., Малышкин В. Э. Синтез параллельных программ и систем на вычислительных моделях. Новосибирск: Наука, 1988. 127 с.
  27. Варшавский и др. Струтурная организация и протоколы обмена информацией отказоустойчивого самосинхронного кольцевого моноканала. // Автоматика и вычислительная техника.-1988, N4, С. 76−81.
  28. В.В., Кузьмук В. В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем. Киев: Наукова думка, 1990. 213 с.
  29. Введение в технику работы с таблицами решений: Пер. с нем. / Г. Фрай-таг, В. Годе, X. Якоби и др. М.: Энергия, 1979. 88 с.
  30. К. Распределенные системы мини- и микроЭВМ. / Пер. с англ. М.: Финансы и статистика, 1983. 382 с.
  31. Г. В., Воробьев А. Ю., Ростокин Б. И. Система имитационного моделирования дискретных и непрерывных процессов для ЭВМ. // Вычислительная техника социалистических стран. Вып. 8. М.: Статистика, 1980.С. 96−103.
  32. Вычислительные комплексы, системы и сети. / A.M. Ларионов, С. А. Майоров, Г. И. Новиков: Учебн. для вузов. Л.: Энергоатомиздат, 1987. 288 с.
  33. Герхард Х.-Д. Комби-сети обобщение сетей Петри для развития и представления комбинированных математических моделей. // Теория сложных систем и методы их моделирования. / Труды семинара. М: ВНИИСИ АН СССР, 1983. С. 49−57.
  34. В.М. Синтез цифровых автоматов. -М.: Физматгиз, 1962. 476 с.
  35. А.Ю., Кизуб В. А. Приложение аппарата сетей Петри для решения задач технической диагностики (обзор). // Автоматика и вычислительная техника. 1985. N 1, С. 21−28.
  36. .А. Расчет характеристик и планирование параллельных вычислительных процессов. М.: Радио и связь, 1983. 272 с.
  37. С.В., Иванников А. Д. Средства моделирования многопроцессорных систем. // Тезисы докладов на Всесоюзной научн.-техн. конференции «Автоматизация проектирования ЭВМ и систем». Ереван, 1983. Часть II. с.76−77.
  38. В.А. Основы дискретной математики: Учеб. пособие для вузов. М.: Высш.шк., 1986. 311с.
  39. А.В. Автоматизация системотехнического этапа проектирования систем управления дискретными процессами. // Автоматизация проектирования приборов и систем управления. Межвуз. сб науч.тр., ЛИАП, Л., 1989. С. 39−43.
  40. А.В. Расширение модели Е-сетей для представления процессов обработки прерываний. // Распределенные вычисления и системы на СБИС: Сб. науч. тр. / ЛИАП, Л., 1988. С. 51−56.
  41. А.В., Доманский В. Т., Молчанов А. Ю. Использование сетевых моделей для имитационного моделирования системы диспетчерского контроля и управления устройствами электроснабжения железных дорог //Вестник ВНИИЖТ, 1994, N 1, С.38−48.
  42. А.В., Доманский В. Т., Молчанов А. Ю. Применение сетевых имитационных моделей для оценки надежности функционирования системы диспетчерского контроля и управления. // В сб. науч. тр. СПбИИТ, 1994. С. 71−76.
  43. А.В., Кириллов Н. П., Молчанов А. Ю. Система имитационного моделирования процессов функционирования сложных систем как компонентов систем поддержки принятия решений. // Материалы ДСП секции прикладных проблем при АН СССР. 1992. С. 34−40.
  44. А.В., Кучин Н. В. Проектирование взаимодействующих процессов в операционных системах: Учеб. пособие. / ЛИАП. Л., 1991. 72 с.
  45. А.В., Молчанов А. Ю. Применение сетей Петри для анализа вычислительных процессов и проектирования вычислительных систем: Учеб. пособие. / Санкт-Петербург: ГААП, 1993. 75 с.
  46. А.В., Молчанов А. Ю., Платонов И. Э. Диагностирование мультипроцессорных вычислительных систем реального времени. // Техническое диагностирование 93: Тез. докл. науч.-техн. конф. (г. Санкт-Петербург, 8−10 июня 1993 г.) — с. 13−14.
  47. А.В., Никитин А. В., Фильчаков В. В. Организация пакетов прикладных программ: Учеб. пособие. / ЛИАП. Л., 1988. 78 с.
  48. А.В., Платонов И. Э. Технология эмуляции базового системного программного обеспечения мультипроцессорных вычислительных систем. // Качество программных средств. Материалы III Всесоюзной конференции. Дагомыс. 1991, С. 107−111.
  49. А.В., Платонов И. Э., Молчанов А. Ю. Средства эмуляции мультимикропроцессорных вычислительных систем. // Новые информационные технологии. Тез. докл. 2-й международной студенческой школы-семинара. Гурзуф, 1994. С.97−98.
  50. А.В., Филиппов С. Г. Введение избыточности в Е-сети для редуцирования имитационных моделей. // X Всесоюзный симпозиум по проблеме избыточности в информационных системах: Тез. докл. / АН СССР, Л., 1989. ч. З, С.22−25.
  51. А.В., Филиппов С. Г. Инструментальные средства моделирования и анализа архитектуры вычислительных систем. // Технология проектирования программных и аппаратных средств вычислительных систем. Материалы НТК 15−16февр&bdquo- Л., ЛДНТП, 1989, С, 75
  52. А.В., Филиппов С. Г. Синтез имитационных моделей с эмуляцией программ для виртуальных вычислительных систем. // Технология проектирования программных и аппаратных средств вычислительных систем. Л. ЛДНТП. 1990. С. 17−20.
  53. Дал У. И. Языки для моделирования систем с дискретными событиями. / // В сб. Языки программирования. Под ред. Ф. Женюи М.: Мир: 1973, С. 344−403.
  54. Е. Взаимодействие последовательных процессов. // В сб. Языки программирования. Под ред. Ф. Женюи. Пер. с англ. М.: Мир, 1972. С. 9−86.
  55. Г. Введение в операционные системы: В 2-х т. Т.1. пер. с англ. под ред. Вс.С. Штаркмана- М.: Мир, 1987. 359 с.
  56. А.Н., Мацула В. Ф. Современное состояние средств автоматизации имитационного моделирования вычислительных систем реального времени: По данным отечественной и зарубежной печати Л.: ЦНИИ «Румб», 1990 -49 с.
  57. А.Н., Мацула В. Ф. Средства автоматизации имитационного моделирования встраиваемых вычислительных систем. // Управляющие системы и машины, 1990, № 3 С. 110−117.
  58. В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей: Автореферат дисс. на соиск. учен. степ, канд. техн. наук. / ЛИАП. -Л., 1991. 16 с.
  59. В.И., Пчелкина А. А., Фильчаков В. В. Инструментальное средство разработки функционального проекта систем для распределенных вычислений. // Всесоюзная школа семинар по внедрению в народное хозяйство ПЭВМ. Тез .докл., ч.2, Минск, 1988. С. 70−72.
  60. В.И., Фильчаков В. В., Щекин С. В. Описание сетей Петри с помощью систем Поста. // Материалы научн.-практич. семинара «Технология проектирования программных и аппаратных средств вычислительных систем». ЛДНТП, Л., 1990. С. 24−29.
  61. К. Доказательство корректности протокола в случае ошибок в сети передачи данных. // Системы параллельной обработки. / Под ред. Д. Ивенса. М.: Мир, 1985, С. 126−145.
  62. Л.Д., Корнильев К. Г., Михайлова Е. В. Представление структур ОС РВ с помощью макро Е-сетей // Теоретические и прикладные вопросы автоматизации проектирования вычислительной техники М.: Энергоатомиздат, 1989, С. 66−69.
  63. В.И., Насонов А. С., Серыков Г. С. Моделирование систем управления передачей и обработкой данных в системе GSS-11. // Управляющие системы и машины. 1982. N2, С. 35−42.
  64. С.С. Описание и реализация протоколов сетей ЭВМ М.: Наука. 1989. 272 с.
  65. Э.В., Стрекалов А. А., Рогова О. Е. Интегрированная система поддержки и имитационного моделирования сетей Петри на персональной ЭВМ. // Автоматика и вычислительная техника, 1991, № 5, С. 10−18.
  66. А.Д. Моделирование микропроцессорных систем М.: Энергоатомиздат, 1990, 142 с.
  67. А.Д., Старых В. А. Автоматизация отладки программного обеспечения микропроцессорных систем управления. // Вопросы радиоэлектроники. Сер. Электронная вычислительная техника. 1984. Вып.4. С.105−113.
  68. Е.С. Определение производительности бортовых цифровых вычислительных систем: Тексты лекций. М.: МАИ, В 3-х частях, 1981, 1983, 1984.
  69. Г. И., Каштанов В. А., Коваленко И. Н. Теория массового обслуживания М.: Высшая школа, 1982, 256 с.
  70. В.В. Организация структур управляющих многопроцессорных вычислительных систем. М.: Энергоатомиздат, 1984. 184 с.
  71. В.П., Смирнов М. И. Моделирование систем на основе ингиби-торных временных сетей Петри // Электронное моделирование, 1990, т. 12, № 2, с. 10−13.
  72. Использование сетей Петри для локализации ошибок в процессе системной отладки комплексов программ. / С. А. Косяченко, В. В. Кульба,
  73. А.Г. Мамиконов, Е. Б. Соколова // Автоматика и телемеханика. 1988. N 5. С. 38−45.
  74. Исследование систем моделирования цифровых устройств: Метод, указания к практич. занятиям. / Н. Н. Бровин и др. /ЛИАП, Л., 1987. 31с.
  75. В.К., Гуськов Г .Я., Магрупов Т. М. Концептуальное проектирование микроэлектронных вычислительных структур и систем. Ташкент: Фан, 1989. 224 с.
  76. .М. Электронные вычислительные машины и системы: Учеб. пособие для вузов. М.: Энергоатомиздат, 1991. 592 с.
  77. М.С. Инструментальная система моделирования параллельных процессов, описанных языком сетей Петри // Управляющие системы и машины, 1988, № 5, С. 16−19.
  78. Ю.В., Летичевский А. А. Математическая теория проектирования вычислительных систем. М.: Наука, 1988. 296 с.
  79. Е. Языки моделирования. -М.: Энергоатомиздат, 1985. 288с.
  80. В.Ю. Аналитическое представление языков сетей Петри // Математические методы управления и обработки информации: Межведомственный сборник М.: МФТИ, 1986, С. 30−34.
  81. В.Ю., Нижник В. В. Пакет программ работы с сетями Петри для персональной ЭВМ // УСиМ, 1989, № 4, С. 48−51.
  82. В.М., Шейнин Ю. Е. Программирование авиационных микропроцессорных систем: Учеб. пособие/Л: ЛИАП, 1983. 97с.
  83. Компьютеры на СБИС: В 2-х кн. / Т. Мотоока, С. Томита, X. Танака и др.- Пер. с яп. Г. Н. Горбунова под ред. В. М. Кисельникова. М.: Мир, 1988. т.1 — 388 е., т.2 — 335 с.
  84. Концепция бортовых вычислительных систем и инструментальные средства ее поддержки. Отчет о НИР-781. Гос. per. N Х74 995- инв. N Г17 812 / ЛИАП, Л.: 1990.
  85. Л.Н. Микропроцессоры, микро и мини-ЭВМ: Учеб. пособие для вузов. М.: Изд-во МГУ, 1988, 212 с.
  86. А.Е. Программный комплекс для сетевого имитационного моделирования дискретных систем с параллельными процессами // УСиМ, 1987, N 4, С. 98−103.
  87. А.Е., Савченко Л. В. Модифицированные Е-сети для исследования систем распределенной обработки информации // Автоматика и вычислительная техника. 1988. N 6, С. 27−35.
  88. В.П., Самочадин А. В. Программное обеспечение микропроцессорных систем. М: Машиностроение, 1984.
  89. В.Е. Алгебра регулярных сетей Петри. Кибернетика, 1980, N5, С.10−18.
  90. В.Е. Сети Петри М.: Наука, 1984, 160 с.
  91. В.А., Краснобаев Л. А. Применение сетей Петри для моделирования с целью обнаружения и поиска перемежающихся отказов в ЭВМ. // Автоматика и телемеханика. 1988. N 9, С. 111−118.
  92. О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. -М.: Энергоатомиздат, 1988.-480 с.
  93. В.В. Система моделирования сетей Петри и параллельных процессов // Электронное моделирование, 1988, т. 10, N 5, С. 96−98.
  94. В.П. Анализ параллельных процессов на основе сетевых моделей Пенза: Пензенский политехнический институт, 1981, 86 с.
  95. А.А., Мальцев П. А., Спиридонов A.M. Сети Петри в моделировании и управлении. Л.: Наука, 1989. 133 с.
  96. Лин В. PDP-11 и VAX-11. Архитектура ЭВМ и программирование на языке ассемблера: Пер. с англ. М.: Радио и связь, 1989. 320 с.
  97. В.В. Проектирование программных средств: Учеб. пособие для вузов по спец. АСОИиУ. М.: Высш. шк., 1990. 301 с.
  98. В.В. Распределение ресурсов в вычислительных системах. М.: Статистика, 1979.247 с.
  99. В.В. Тестирование программ. -М.: Радио и связь, 1986. -293 с.
  100. В. Комбинаторика для программистов. / Пер. с пол. В. А. Евстигнеева, OA. Логиновой под ред. А. П. Ершова. М.: Мир, 1988. 213 с.
  101. Е.Б. Специализированные устройства моделирования и управления на сетях Петри. / -Киев.1987. 51 с. Препринт. АН УССР. Институт проблем моделирования в энергетике.
  102. И.М., Чуркин В. И. Применение сетей Петри для анализа вычислительных сетей и систем: Метод, указания к выполнению лабораторных работ / ЛИАП, Л., 1989. 36 с.
  103. Г. Ф., Сиднее А. Г. Моделирование вычислительных систем на структурном уровне. / Международная НТК «Информационные технологии в моделировании и управлении» СПб, СПбГТУ. 1996.
  104. А.Г., Кульба В. В., Швецов А. Р. Модифицированные сети Петри / АН СССР. Институт проблем управления М.: ИПУ, 1991 — 45 с.
  105. Н.Г., Мирошниченко Е. А., Сарайкин А. В. Моделирование параллельного программного обеспечения с использованием PS-сетей // Программирование, 1995, № 5, С. 24−38.
  106. В.И., Белоусов Ю. А., Федосеев Е. П. Бортовые цифровые вычислительные машины и системы: Учеб. пособие по спец. «Вычислительные машины, комплексы, системы и сети» / Под ред. В. И. Матова. М.: Высш. шк., 1988. 216 с.
  107. Методика построения сетевых имитационных моделей для исследования структуры вычислительных систем / Гордеев А. В., Филиппов С. Г. -ЛИАП, заключ. отчет по НИР-781, гос. per. N М90 781, 1990, С. 7−39.
  108. Микропроцессоры: системы программирования и отладки / В. А. Мясников, М. Б. Игнатьев, А. А. Кочкин, Ю.Е. Шейнин- Под ред. В.А. Мяс-никова, М. Б. Игнатьева. -М.: Энергоатомиздат, 1985. 272с.
  109. Е.В. Качественный и количественный анализ сложных программно-аппаратных комплексов на основе аппаратов из класса сетей Петри: Автореф. дис. на соиск. учен. степ. канд. техн. наук / Московский инженерно-физический институт М.: 1990 — 18 с.
  110. В.М., Ровдо А. А., Рыжиков С. В. Микропроцессоры 80×86, Pentium: Архитектура, функционирование, программирование, оптимизация кода. Мн.: Битрикс, 1994. 400 с.
  111. Моделирование робототехнических систем и гибких автоматизированных производств, кн.5 // Робототехника и гибкие автоматизированные производства. / под ред. Макарова И. М. М.: Высш. школа, 1986. С.107−116,164.
  112. А.Ю. Методы и средства моделирования и анализа на основе F-сетей. Дисс. на соиск. учен. степ. канд. техн. наук. СПб: ГААП, 1997. 138 с.
  113. Т. Сети Петри: Свойства, анализ, приложения (обзор). // ТИИЭР, 1989. N4. С. 41−85.
  114. В.Н. Имитационное моделирование микропроцессорных систем на базе Е-сетей для ПЭВМ // Микропроцессорные средства и системы, 1990, № 1−2, С. 36−37.
  115. .Б., Новотарский М. А. Исследование особенностей функционирования мультипроцессорных вычислительных систем при реализации локально-асинхронных вычислительных методов Киев: Институт математики АН УССР, 1987, 60 с.
  116. В.В., Подгурский Ю. Е. Сети Петри. Теория. Применение. // Зарубежная радиоэлектроника. 1984 N 4, С. 28−59.
  117. В.В., Подгурский Ю. С. Применение сетей Петри. // Зарубежная радиоэлектроника. 1986, N11, С. 17−37.
  118. И.П., Маничев В. Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры: Учеб. пособие для вузов. М.: Высш. школа, 1983. 272 с.
  119. Е.И. Обобщенная сеть Петри для описания разветвленного параллельного процесса // В кн. Распределенные управляющие и вычислительные системы. М.: Наука, 1987. С. 67−78.
  120. Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984. 264 с.
  121. Построение в условиях дефицита информации сводных оценок сложных систем. / С. К. Колганов, В. В. Корников, П. Г. Попов, Н. В. Хованов. М.: Радио и связь, 1994. — 80 с.
  122. Г. И., Хмеляускас А. В. Спецификация и верификация протоколов сетей ЭВМ. // Зарубежная радиоэлектроника, 1986. N 6. С.33−49.
  123. Применение микропроцессорных средств в системах передачи информации: Учеб. пособие для вузов. / Б. Я. Советов, О. И. Кутузов, Ю. А. Головин, Ю. В. Аветов. М.: Высш. школа, 1987. 256 с.
  124. А. Введение в имитационное моделирование и язык CJ1AM 2 / Пер. с англ. М.: Мир, 1987. 646 с.
  125. Программирование на Фортране 4Х: Метод, указания к выполнению лабораторных работ. / В. Н. Арсентьев, А. В. Гордеев и др. ЛИАП, Л., 1988. С. 22−31.
  126. Программный комплекс моделирования и анализа на основе сетей Петри / Волков С. И., Гордеев А. В., Зеленский М. Г. и др. // Каталог отраслевого фонда алгоритмов и программ. Вып.7 М.: НИИВО Госкомитета СССР по народному образованию, 1991, С. 30−31.
  127. Программный комплекс моделирования и формального анализа систем на основе сетей Петри / Зеленский М. Г., Никитин А. В. и др. // В кн. CASE-технологии М.: Центральный Российский дом знаний, 1992. С. 71−76.
  128. Е.С., Могуева О. В. Проектирование бортовых систем обмена информации. -М.: Радио и связь, 1989. 240 с.
  129. В., Турута Е. Н. Отказоустойчивое распределение задач в многопроцессорных системах и определение размерности систем // В кн. Распределенные управляющие и вычислительные системы. М.: Наука, 1987.С. 108−126.
  130. Л.Я. Сети Петри // Изв. АН СССР. Техн. кибернетика. 1983. N5. С. 12−40.
  131. Система моделирования СМПЛ: Метод, указания к курсовому и дипломному проектированию. / Н. Н. Бровин, А. С. Завода, А. В. Никитин. Л.: ЛИАП, 1988. 32с.
  132. Системы параллельной обработки: Пер. с англ. / Под ред. Д. Ивенса. -М.: Мир, 1985.416 с.
  133. А.И. Анализ и оптимизация вычислительных систем на сетевых моделях. // Автоматизация проектирования ЭВМ и систем: Тез. докл. Всесоюз науч.-техн. конф. Ереван, 1983. Ч. 1. С. 32−33.
  134. А.И., Юрасов А. А. Автоматизация проектирования управляющих систем гибких автоматизированных производств. -К.: Техника, 1986. 156 с.
  135. Стохастическо-детерминированные временные сети Петри как средство описания моделей многопроцессорных вычислительных систем / С. Н. Лобков и др. // УСиМ, 1991, № 8 С. 60−68.
  136. А.А., Юдицкий С. А. Иерархия и параллелизм в сетях Петри // Автоматика и телемеханика, 1982, N7. С.113−122- N9. С. 82−88.
  137. Технология системного моделирования / Е. Ф. Аврамчук, А. А. Вавилов, С. В. Емельянов и др.- Под ред. С. В. Емельянова. М.: Машиностроение, Берлин: Техник, 1988. 520 с.
  138. Управление гибкими производственными системами: Модели и алгоритмы / Под общ. ред. С. В. Емельянова. М.: Машиностроение, 1987. 386 с.
  139. В.А. Машина Поста. -М.: Наука, 1988.-96 с.
  140. В.А., Семенов А. Л. Теория алгоритмов: основные открытия и приложения. -М.: Наука, 1987.-288 с.
  141. В. Ю. Чуканов В.О. Решение задачи диагностирования микропроцессорных систем методами сетей Петри // Разработка методов и средств технической диагностики микропроцессорных систем и устройств М.: МИФИ, 1990, С. 25−27.
  142. В.Ю., Чуканов В. О. Анализ отказоустойчивости сложных систем расширениями сетей Петри // Автоматика и телемеханика, 1992, № 2, С. 144−156.
  143. В.Ю., Чуканов В. О. Интегрированный пакет моделирования сетей Петри с отказами // Управляющие системы и машины, 1992, № ¾, С. 97−100.
  144. Э. Программирование таблиц решений / Пер. с англ. -М.: Мир, 1976.86 с.
  145. Я.А., Древе Ю. Г. Проектирование информационно-вычислительных комплексов: Учеб. для вузов по спец. АСУ. М.: Высш. шк., 1987. 280 с.
  146. Ч. Взаимодействующие последовательные процессы: Пер. с англ. под ред. А. П. Ершова М.: Мир, 1989. 264 с.
  147. Шоу А. Логическое проектирование операционных систем: Пер. с англ. М.: Мир, 1981. 360 с.
  148. Т.Дж. Моделирование на GPSS М.: Машиностроение, 1980, 592 с.
  149. С.А., Кутанов А. Т. Технология проектирования архитектуры информационно-управляющих систем. / Институт проблем управления. Препринт-М., 1993, 83с.
  150. С.А., Магергут В. З. Логическое управление дискретными процессами. М.: Машиностроение. — 1987. 175 с.
  151. С.А., Вукович И. Ю. Динамическое экспресс-моделирование организационных систем (информационная технология ДЭМОС) / Институт проблем управления. Препринт -М., 1998. 62 с.
  152. Advances in Petri nets, 1991: Paper from the 11th Intern. Conf. on applications a theory of Petri nets held in Paris in June 1990. / G. Rozenberg (ed.). Berlin etc.: Springer-Verl., cop. 1991. — VIII, 572 c.
  153. Ajmone-Marsan M., Chiola G., On Petri Nets with Deterministic and Exponentially distributed firing times, LNCS vol. 266, Springer Verlag, 1987
  154. An introduction to Generalized Stochastic Petri Nets / M. Ajmone-Marsan, G. Balbo, G. Chiola, G. Conte, S. Donatelli, G. Franceschinis, // Microelectronics and Reliability, Vol.31, no. 4, 1991
  155. Anisimov N.A., Kovalenko A., Postupalski P. Compositional Petri Net Environment. // Proc. of the 1994 IEEE Symposium on Emerging Technologies and Factory Atomation, Tokyo, Japan, November 1994
  156. Anisimov N.A., Kovalenko A., Postupalski P. PNA3-Editor: Compositional Petri Net Editor for Protocol Specification, in Proc. // MASCOTS 95, Durham, NC, USA, January 1995
  157. Application and theory of Petri nets, 1993: 14th Intern. Conf., Chicago, Illinois, USA, June 21−25, 1993: Proceedings / Macro Ajmone Marsan (ed.) -Berlin etc.: Springer-Verl., cop. 1993. IX, 591 c.
  158. Application and theory of Petri nets, 1995: 16th Intern. Conf., Turin, Italy, June 26−30, 1995: Proceedings / Giorgio De Michelis, Michel Diaz (eds.) -Berlin etc.: Springer, cop. 1995. VIII, 510 c.
  159. Bause F., Queueing Petri Nets A formalism for the combined qualitative and quantitative analysis of Systems // 5th Int. Workshop of Petri Nets and Performance Models, Toulouse, France, Oct. 1993
  160. Beounes C. et al.: SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems // Proceedings 23rd Int. Symp. on Fault-Tolerant Computing (FTCS-23), IEEE, Toulouse, France, June 1993
  161. Bernardinello L., De Cindio F., A survey of Basic Net Models and Modular Net Classes, LNCS vol. 609, Springer Verlag, 1992
  162. Best E" Weighted Basic Petri Nets, LNCS vol. 335, Springer Verlag, 1988
  163. Billington J., FORSEEing Quality Telecommunications Software, Invited paper for the first Australian Conference on Telecommunications Software (ACTS), Melbourne, April 1991
  164. Bucci G., E. Vicario E., Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets // IEEE Transactions on Software Engineering, Dec. 1995
  165. Buchs D., Flumet J., Racloz P.: SANDS: Structured Algebraic Net Development System // 14th International Conference on Application and Theory of Petri Nets, Tool presentation abstracts, Chicago USA, June 1993
  166. C. Kelling, TimeNET-SIM a parallel Simulator for Stochastic Petri Nets // Proc. 28th Annual Simulation Symp., Phoenix, Arizona, USA, 1995
  167. Ciardo G., Trivedi K. S., Muppala J., SPNP: stochastic Petri net package, // Proc. 3rd Int. Workshop on Petri Nets and Performance Models (PNPM89), IEEE Computer Society Press, 1989
  168. Damm W., DDhmen G., AADL: a net based specification method for computer architecture design, in: J. Bakker (ed.) «Languages for parallel architectures: design semantics and implementation models.» John Wiley and sons, 1989
  169. Diaz M. Modeling and analysis of communication and cooperation protokols using Petri net based models. // Comput. Network. 1982. v.6, N 6, pp 419−441.
  170. Dictionary Of Computing: Толковый словарь по вычислительным системам / Под ред. В. Иллингуорта: Пер. с англ. А. К. Белоцкого и др. М.: Машиностроение, 1990. 560 с.
  171. Dijkstra E.W. Cooperating Sequential Processes. EWD 123, Mathematics Department, Technological University, Eindhoven, The Netherlands, September 1965. Reprinted in F. Genues (ed.)
  172. Fleischhack H., Lichtblau U., MOBY A tool for high-level Petri Nets with objects. // Proc. IEEE/SMC 93, Le Touquet, Vol. 4, 1993
  173. G. Berthelot G., Johnen C., L. Petrucci L" PAPETRI: Environment for the Analysis of Petri Nets, // LNCS vol. 531, Springer Verlag, 1991
  174. Genrich H. J. Predicate/Transition Nets, // LNCS vol. 254, Springer Verlag, 1987
  175. Gordejev A.V. Simulation of discrete parallel systems by modificated F-net's method. // ICS-Net'97: International Symposium on Problems of Modular Information Computer Systems and Networks. Abstracts. Moscow-St.-Peterburg, 1997, P. 13.
  176. Keller R. K., von Bochmann G., Petri Net based business modelling and simulation with the Macrotec environment, June 1994, Handout at tool presentation at the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain
  177. Lakos C. A., Object Petri Nets Definition and Relationship to Coloured Nets, Technical Report 94−3, Dep. of Computer Science, University of Tasmania, April 1994
  178. Lakos C.A., Keen C.D., Simulation with Object-Oriented Petri Nets, Dep. of Computer Science, University of Tasmania, Hobart, TAS, Australia. Proceedings of Australian Software Engineering Conference 1991.
  179. Lew A.: Petri Net processing using decision tables, Univ. of Hawaii, Technical Report, 1985
  180. Leu D., Murata T. Interrelationships among various concepts of fairness for Petri nets. // Proc. 31th Midwest Symposium Circuits and Systems, 1988.
  181. Lindemann C., DSPNexpress: A Software package for the efficient solution of deterministic and stochastic Petri Nets, Proc. 6th International Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Edinburgh, Great Britain, 1992
  182. Menasche M., PAREDE: An Automated Tool for the Analysis of Time (d) Petri Nets, // Proceedings of the International Workshop on Timed Petri Nets, Torino, July 1985
  183. Merlin P. Methodology for the Design and Implementation of Communication Protocols. IEEE Transactions on Communications, COM-24, No.6, 1976, P.614−621.
  184. Multi-ICE software. Multiple in circuit emulator. — in Intel System Data Catalog, 1989, p. 12−54.
  185. Murata T. Petri Nets and Their Applications. // J. Society of Instrument and Control Engineers. 1983, v.22, N 3, pp. 3−10.
  186. Nutt G. The Formulation and Application of Evalution Nets // Technical Report 72−07−02, Computer Science Group, University of Washington, Seattle, Washington, July 1972, p. 170.
  187. Nutt G.J. Evaluation Nets for Computer System Performance Analysis. AFIPS Fall Joint Computer Conference, vol. 41, pt. l, 1972, P.279−286.
  188. Ochsenschleger P., Verification of Cooperating Systems by simple homomorphisms using the Product Net Machine. // Workshop Algorithmen und Werkzeuge for Petri Netze, Berlin, 1994
  189. Parent P., Taniv O. Voltaire: a discrete event simulator // 4th Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, 1991
  190. Parker K.R.: The PROMPT automatic implementation tool Initial impressions. // Proc. 3rd Int. Conf. on Formal Description Techniques, Madrid, Spain, Nov. 1990
  191. PEP: Programming Environment Based on Petri Nets / B. Grahlmann, S. RLImer, T. Thielke, B. Graves, M. Damm, R. Riemann, L. Jenner, S. Melzer, A. Gronewold, in Hildesheimer, Informatik-Berichte no. 14/95, Univ. Hildesheim, 1995
  192. Peters L., Schultz R.: The application of Petri Nets in Object-Oriented Enterprise simulation. // Hawaii International Cong, on system Sciences (HICSS-26), January 1993
  193. Reisig W. Place/Transition Systems, //LNCS vol. 254, Springer Verlag, 1987
  194. Rozenberg G, Thiagarajan P. S., Petri Nets: Basic Notions, Structure, Behaviour, // LNCS vol. Springer Verlag, 1986
  195. Sanders W. H" Obal W. D. Dependability Evaluation using UltraSAN, Software Demonstration. // Proc. of the 23rd International Symposium on Fault-Tolerant Computing, Toulouse, France, IEEE Press, June 1993
  196. SchLIf S" Sonnenschein M., Wieting R., High-level Modeling with THOR Nets, Proceedings of the 14th International Congress on Cybernetics, Namur, Belgium, August 21−25, 1995
  197. Sifakis J. Realization of Fault-Tolerant Systems by Coding Petri Nets // Journal of Design Automation and Fault-Tolerant Computing. 1979. v3, N2, pp. 93−108.
  198. Skacel M., Tools for Petri Nets drawing, simulation and analysis under MS Windows, dipl. thesis, Dep. of Computer Science and Engineering, Technical University of Brno, 1992
  199. Snow J., Albright R., MetaDesign The graphic tool for modelling complex systems, Version 2.3- Meta Software Corporation, Cambridge, 1988
  200. TimeNET A toolkit for evaluating Stochastic Petri Nets with Non-Exponential Firing Times / R. German, C. Kelling, A. Zimmermann, G. Hommel // Journal of Performance Evaluation, Elsevier, The Netherlands, Vol. 24, 1995
  201. Treves N., COMBAG: A tool for the computation of a basis and a set of generators of semiflows for Pr/T systems, Proc. Int. Conf. on Parallel Processing and Application, 1988
  202. Vautherin J. Parallel Systems Specifications with Colored Petri Nets and Algebraic Specifications, LNCS vol. 266, 1987
Заполнить форму текущей работой

На отлично!