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

ВВЕДЕНИЕ.

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. Бортовая вычислительная система ЦВМ 80

4.3. Моделирование раоты кэш-памяти.

4.4. Методика построения F-сетевых имитационных моделей . 179 Выводы.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• Комплекс программ "Сети Петри для Windows", который имеет все необходимые встроенные средства обучения, используется при подготовке магистров по направлению 552800 в рамках специализации "Высокопроизводительные вычислительные системы". Названный комплекс программ используется в Санкт-Петербургском государственном техническом университете на кафедре автоматики и вычислительной техники при подготовке студентов по специальности 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-сетевых моделей сложных систем.

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

НИИВМПУ , в/ч 25970 (НИР-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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

1. Авен О.И., Гурин Н.П., Коган А.Я. Оценка качества и оптимизация вычислительных систем. -М.: Наука, 1982. 464 с.

2. Автоматизация проектирования вычислительных систем. Языки, моделирование и базы данных / Под ред. М. Брейера. М.: Мир, 1979. 463 с.

3. Автоматное управление асинхронными процессами в ЭВМ и дискретных системах. / Под общ. ред. В.И. Варшавского. М.: Наука. Гл. ред. физ.-мат. лит., 1986. 400 с.

4. Александров Е.К., Рудня Ю.Л. Микропроцессор 80386: как он работает и как работают с ним. СПб., "Элмор", 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. Головкин Б.А. Параллельные вычислительные системы. М.: Наука. Главная редакция физико-математической литературы, 1980. 519 с.

37. Головкин Б.А. Расчет характеристик и планирование параллельных вычислительных процессов. М.: Радио и связь, 1983. 272 с.

38. Голубенко С.В., Иванников А.Д. Средства моделирования многопроцессорных систем. // Тезисы докладов на Всесоюзной научн.-техн. конференции "Автоматизация проектирования ЭВМ и систем". Ереван, 1983. Часть II. с.76-77.

39. Горбатов В.А. Основы дискретной математики: Учеб. пособие для вузов. М.: Высш.шк., 1986. 311с.

40. Гордеев А.В. Автоматизация системотехнического этапа проектирования систем управления дискретными процессами. // Автоматизация проектирования приборов и систем управления. Межвуз.сб науч.тр., ЛИАП, Л., 1989. С. 39-43.

41. Гордеев А.В. Расширение модели Е-сетей для представления процессов обработки прерываний. // Распределенные вычисления и системы на СБИС: Сб. науч. тр. / ЛИАП, Л., 1988. С. 51-56.

42. Гордеев А.В., Доманский В.Т., Молчанов А.Ю. Использование сетевых моделей для имитационного моделирования системы диспетчерского контроля и управления устройствами электроснабжения железных дорог //Вестник ВНИИЖТ, 1994, N 1, С.38-48.

43. Гордеев А.В., Доманский В.Т., Молчанов А.Ю. Применение сетевых имитационных моделей для оценки надежности функционирования системы диспетчерского контроля и управления. // В сб. науч. тр. СПбИИТ, 1994. С. 71-76.

44. Гордеев А.В., Кириллов Н.П., Молчанов А.Ю. Система имитационного моделирования процессов функционирования сложных систем как компонентов систем поддержки принятия решений. // Материалы ДСП секции прикладных проблем при АН СССР. 1992. С. 34-40.

45. Гордеев А.В., Кучин Н.В. Проектирование взаимодействующих процессов в операционных системах: Учеб. пособие. / ЛИАП. Л., 1991. 72 с.

46. Гордеев А.В., Молчанов А.Ю. Применение сетей Петри для анализа вычислительных процессов и проектирования вычислительных систем: Учеб. пособие. / Санкт-Петербург : ГААП, 1993. 75 с.

47. Гордеев А.В., Молчанов А.Ю., Платонов И.Э. Диагностирование мультипроцессорных вычислительных систем реального времени. // Техническое диагностирование 93: Тез. докл. науч.-техн. конф. (г. Санкт-Петербург, 8-10 июня 1993 г.) - с. 13-14.

48. Гордеев А.В., Никитин А.В., Фильчаков В.В. Организация пакетов прикладных программ: Учеб. пособие. / ЛИАП. Л., 1988. 78 с.

49. Гордеев А.В., Платонов И.Э. Технология эмуляции базового системного программного обеспечения мультипроцессорных вычислительных систем. // Качество программных средств. Материалы III Всесоюзной конференции. Дагомыс. 1991, С. 107-111.

50. Гордеев А.В., Платонов И.Э., Молчанов А.Ю. Средства эмуляции мультимикропроцессорных вычислительных систем. // Новые информационные технологии. Тез. докл. 2-й международной студенческой школы-семинара. Гурзуф, 1994. С.97-98.

51. Гордеев А.В., Филиппов С.Г. Введение избыточности в Е-сети для редуцирования имитационных моделей. // X Всесоюзный симпозиум по проблеме избыточности в информационных системах : Тез. докл. / АН СССР, Л., 1989. ч.З, С.22-25.

52. Гордеев А.В., Филиппов С.Г. Инструментальные средства моделирования и анализа архитектуры вычислительных систем. // Технология проектирования программных и аппаратных средств вычислительных систем. Материалы НТК 15-16февр„ Л., ЛДНТП, 1989, С,75

53. Гордеев А.В., Филиппов С.Г. Синтез имитационных моделей с эмуляцией программ для виртуальных вычислительных систем. // Технология проектирования программных и аппаратных средств вычислительных систем. Л. ЛДНТП. 1990. С. 17-20.

54. Дал У.И. Языки для моделирования систем с дискретными событиями. / // В сб. Языки программирования. Под ред. Ф. Женюи М.: Мир: 1973, С. 344-403.

55. Дейкстра Е. Взаимодействие последовательных процессов. // В сб. Языки программирования. Под ред. Ф. Женюи. Пер. с англ. М.: Мир, 1972. С. 9-86.

56. Дейтел Г. Введение в операционные системы: В 2-х т. Т.1. пер. с англ. под ред. Вс.С. Штаркмана- М.: Мир, 1987. 359 с.

57. Долгов А.Н., Мацула В.Ф. Современное состояние средств автоматизации имитационного моделирования вычислительных систем реального времени: По данным отечественной и зарубежной печати Л.: ЦНИИ "Румб", 1990 -49 с.

58. Долгов А.Н., Мацула В.Ф. Средства автоматизации имитационного моделирования встраиваемых вычислительных систем. // Управляющие системы и машины, 1990, № 3 С. 110-117.

59. Жаков В.И. Анализ параллельных алгоритмов и синтез программ с использованием символьных сетей: Автореферат дисс. на соиск. учен. степ, канд. техн. наук. / ЛИАП. -Л., 1991. 16 с.

60. Жаков В.И., Пчелкина А.А., Фильчаков В.В. Инструментальное средство разработки функционального проекта систем для распределенных вычислений. // Всесоюзная школа семинар по внедрению в народное хозяйство ПЭВМ. Тез .докл., ч.2, Минск, 1988. С. 70-72.

61. Жаков В.И., Фильчаков В.В., Щекин С.В. Описание сетей Петри с помощью систем Поста. // Материалы научн.-практич. семинара "Технология проектирования программных и аппаратных средств вычислительных систем". ЛДНТП, Л., 1990. С. 24-29.

62. Жиро К. Доказательство корректности протокола в случае ошибок в сети передачи данных. // Системы параллельной обработки. / Под ред. Д. Ивенса. М.: Мир, 1985, С. 126-145.

63. Забродин Л.Д., Корнильев К.Г., Михайлова Е.В. Представление структур ОС РВ с помощью макро Е-сетей // Теоретические и прикладные вопросы автоматизации проектирования вычислительной техники М.: Энергоатомиздат, 1989, С. 66-69.

64. Зайцев В.И., Насонов А.С., Серыков Г.С. Моделирование систем управления передачей и обработкой данных в системе GSS-11. // Управляющие системы и машины. 1982. N2, С. 35-42.

65. Зайцев С.С. Описание и реализация протоколов сетей ЭВМ М.: Наука. 1989. 272 с.

66. Зиновьев Э.В., Стрекалов А.А., Рогова О.Е. Интегрированная система поддержки и имитационного моделирования сетей Петри на персональной ЭВМ. // Автоматика и вычислительная техника, 1991, № 5, С. 10-18.

67. Иванников А.Д. Моделирование микропроцессорных систем М.: Энергоатомиздат, 1990, 142 с.

68. Иванников А.Д., Старых В.А. Автоматизация отладки программного обеспечения микропроцессорных систем управления. // Вопросы радиоэлектроники. Сер. Электронная вычислительная техника. 1984. Вып.4. С.105-113.

69. Иванов Е.С. Определение производительности бортовых цифровых вычислительных систем: Тексты лекций. М.: МАИ, В 3-х частях, 1981, 1983, 1984.

70. Ивченко Г.И., Каштанов В.А., Коваленко И.Н. Теория массового обслуживания М.: Высшая школа, 1982, 256 с.

71. Игнатущенко В.В. Организация структур управляющих многопроцессорных вычислительных систем. М.: Энергоатомиздат, 1984. 184 с.

72. Ильин В.П., Смирнов М.И. Моделирование систем на основе ингиби-торных временных сетей Петри // Электронное моделирование, 1990, т. 12, № 2, с. 10-13.

73. Использование сетей Петри для локализации ошибок в процессе системной отладки комплексов программ. / С.А. Косяченко, В.В. Кульба,

74. А.Г. Мамиконов, Е.Б. Соколова // Автоматика и телемеханика. 1988. N 5. С. 38-45.

75. Исследование систем моделирования цифровых устройств: Метод, указания к практич. занятиям. / Н.Н. Бровин и др. /ЛИАП, Л., 1987. 31с.

76. Кабулов В.К., Гуськов Г .Я., Магрупов Т.М. Концептуальное проектирование микроэлектронных вычислительных структур и систем. Ташкент: Фан, 1989. 224 с.

77. Каган Б.М. Электронные вычислительные машины и системы: Учеб. пособие для вузов. М.: Энергоатомиздат, 1991. 592 с.

78. Каменнова М.С. Инструментальная система моделирования параллельных процессов, описанных языком сетей Петри // Управляющие системы и машины, 1988, № 5, С. 16-19.

79. Капитонова Ю.В.,Летичевский А.А. Математическая теория проектирования вычислительных систем. М.: Наука, 1988. 296 с.

80. Киндлер Е. Языки моделирования. -М.: Энергоатомиздат, 1985. 288с.

81. Кириллов В.Ю. Аналитическое представление языков сетей Петри // Математические методы управления и обработки информации: Межведомственный сборник М.: МФТИ, 1986, С. 30-34.

82. Кириллов В.Ю., Нижник В.В. Пакет программ работы с сетями Петри для персональной ЭВМ // УСиМ, 1989, №4, С. 48-51.

83. Кисельников В.М., Шейнин Ю.Е. Программирование авиационных микропроцессорных систем: Учеб. пособие/Л: ЛИАП, 1983. 97с.

84. Компьютеры на СБИС: В 2-х кн. / Т.Мотоока, С. Томита, X. Танака и др.; Пер. с яп. Г.Н. Горбунова под ред. В.М. Кисельникова. М.: Мир, 1988. т.1 - 388 е., т.2 - 335 с.

85. Концепция бортовых вычислительных систем и инструментальные средства ее поддержки. Отчет о НИР-781. Гос. per. N Х74995; инв. N Г17812 / ЛИАП, Л.: 1990.

86. Королев Л.Н. Микропроцессоры, микро и мини-ЭВМ: Учеб. пособие для вузов. М.: Изд-во МГУ, 1988, 212 с.

87. Костин А.Е. Программный комплекс для сетевого имитационного моделирования дискретных систем с параллельными процессами // УСиМ, 1987, N 4, С. 98-103.

88. Костин А.Е., Савченко Л.В. Модифицированные Е-сети для исследования систем распределенной обработки информации // Автоматика и вычислительная техника. 1988. N 6, С. 27-35.

89. Котляров В.П., Самочадин А.В. Программное обеспечение микропроцессорных систем. М: Машиностроение, 1984.

90. Котов В.Е. Алгебра регулярных сетей Петри. Кибернетика, 1980, N5, С.10-18.

91. Котов В.Е. Сети Петри М.: Наука, 1984, 160 с.

92. Краснобаев В.А., Краснобаев Л.А. Применение сетей Петри для моделирования с целью обнаружения и поиска перемежающихся отказов в ЭВМ. // Автоматика и телемеханика. 1988. N 9, С. 111-118.

93. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. -М.: Энергоатомиздат, 1988.-480 с.

94. Кузьмук В.В. Система моделирования сетей Петри и параллельных процессов // Электронное моделирование, 1988, т. 10, N 5, С. 96-98.

95. Кулагин В.П. Анализ параллельных процессов на основе сетевых моделей Пенза: Пензенский политехнический институт, 1981, 86 с.

96. Лескин А.А., Мальцев П.А., Спиридонов A.M. Сети Петри в моделировании и управлении. Л.: Наука, 1989. 133 с.

97. Лин В. PDP-11 и VAX-11. Архитектура ЭВМ и программирование на языке ассемблера: Пер. с англ. М.: Радио и связь, 1989. 320 с.

98. Липаев В.В. Проектирование программных средств: Учеб. пособие для вузов по спец. АСОИиУ. М.: Высш. шк., 1990. 301 с.

99. Липаев В.В. Распределение ресурсов в вычислительных системах. М.: Статистика,1979.247 с.

100. Липаев В.В. Тестирование программ. -М.: Радио и связь, 1986. -293 с.

101. Липский В. Комбинаторика для программистов. / Пер. с пол. В.А. Евстигнеева, OA. Логиновой под ред. А.П. Ершова. М.: Мир, 1988. 213 с.

102. Лисицина Е.Б. Специализированные устройства моделирования и управления на сетях Петри. / -Киев.1987. 51 с. Препринт. АН УССР. Институт проблем моделирования в энергетике.

103. Лиснянский И.М., Чуркин В.И. Применение сетей Петри для анализа вычислительных сетей и систем: Метод, указания к выполнению лабораторных работ / ЛИАП, Л., 1989. 36 с.

104. Малыгина Г.Ф., Сиднее А.Г. Моделирование вычислительных систем на структурном уровне. / Международная НТК "Информационные технологии в моделировании и управлении" СПб, СПбГТУ. 1996.

105. Мамиконов А.Г., Кульба В.В., Швецов А.Р. Модифицированные сети Петри / АН СССР. Институт проблем управления М.: ИПУ, 1991 - 45 с.

106. Марков Н.Г., Мирошниченко Е.А., Сарайкин А.В. Моделирование параллельного программного обеспечения с использованием PS-сетей // Программирование, 1995, № 5, С. 24-38.

107. Матов В.И. , Белоусов Ю.А., Федосеев Е.П. Бортовые цифровые вычислительные машины и системы: Учеб. пособие по спец. "Вычислительные машины, комплексы, системы и сети" / Под ред. В.И. Матова. М.: Высш. шк., 1988. 216 с.

108. Методика построения сетевых имитационных моделей для исследования структуры вычислительных систем / Гордеев А.В., Филиппов С.Г. -ЛИАП, заключ. отчет по НИР-781, гос. per. N М90781, 1990, С. 7-39.

109. Микропроцессоры: системы программирования и отладки / В.А. Мясников, М.Б. Игнатьев, А.А. Кочкин, Ю.Е. Шейнин; Под ред. В.А. Мяс-никова, М.Б. Игнатьева. -М.: Энергоатомиздат, 1985. 272с.

110. Михайлова Е.В. Качественный и количественный анализ сложных программно-аппаратных комплексов на основе аппаратов из класса сетей Петри: Автореф. дис. на соиск. учен. степ. канд. техн. наук / Московский инженерно-физический институт М.: 1990 - 18 с.

111. Михальчук В.М., Ровдо А.А., Рыжиков С.В. Микропроцессоры 80x86, Pentium: Архитектура, функционирование, программирование, оптимизация кода. Мн.: Битрикс, 1994. 400 с.

112. Моделирование робототехнических систем и гибких автоматизированных производств, кн.5 // Робототехника и гибкие автоматизированные производства. / под ред. Макарова И.М. М.: Высш. школа, 1986. С.107-116,164.

113. Молчанов А.Ю. Методы и средства моделирования и анализа на основе F-сетей. Дисс. на соиск. учен. степ. канд. техн. наук. СПб: ГААП, 1997. 138 с.

114. Мурата Т. Сети Петри: Свойства, анализ, приложения (обзор). // ТИИЭР, 1989. N4. С. 41-85.

115. Мурогов В.Н. Имитационное моделирование микропроцессорных систем на базе Е-сетей для ПЭВМ // Микропроцессорные средства и системы, 1990, №1-2, С. 36-37.

116. Нестеренко Б.Б., Новотарский М.А. Исследование особенностей функционирования мультипроцессорных вычислительных систем при реализации локально-асинхронных вычислительных методов Киев: Институт математики АН УССР, 1987, 60 с.

117. Никонов В.В., Подгурский Ю.Е. Сети Петри. Теория. Применение. // Зарубежная радиоэлектроника. 1984 N 4, С. 28-59.

118. Никонов В.В., Подгурский Ю.С. Применение сетей Петри. // Зарубежная радиоэлектроника. 1986, N11, С. 17-37.

119. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры: Учеб. пособие для вузов. М.: Высш. школа, 1983. 272 с.

120. Пийль Е.И. Обобщенная сеть Петри для описания разветвленного параллельного процесса // В кн. Распределенные управляющие и вычислительные системы. М.: Наука, 1987. С. 67-78.

121. Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984. 264 с.

122. Построение в условиях дефицита информации сводных оценок сложных систем. / С.К. Колганов, В.В. Корников, П.Г. Попов, Н.В. Хованов. М.: Радио и связь, 1994. - 80 с.

123. Пранявичус Г.И., Хмеляускас А.В. Спецификация и верификация протоколов сетей ЭВМ. // Зарубежная радиоэлектроника, 1986. N 6. С.33-49.

124. Применение микропроцессорных средств в системах передачи информации: Учеб. пособие для вузов. / Б.Я. Советов, О.И. Кутузов, Ю.А. Головин, Ю.В. Аветов. М.: Высш. школа, 1987. 256 с.

125. Прицкер А. Введение в имитационное моделирование и язык CJ1AM 2 / Пер. с англ. М.: Мир, 1987. 646 с.

126. Программирование на Фортране 4Х: Метод, указания к выполнению лабораторных работ. / В.Н. Арсентьев, А.В. Гордеев и др. ЛИАП, Л., 1988. С. 22-31.

127. Программный комплекс моделирования и анализа на основе сетей Петри / Волков С.И., Гордеев А.В., Зеленский М.Г. и др. // Каталог отраслевого фонда алгоритмов и программ. Вып.7 М.: НИИВО Госкомитета СССР по народному образованию, 1991, С. 30-31.

128. Программный комплекс моделирования и формального анализа систем на основе сетей Петри / Зеленский М.Г., Никитин А.В. и др. // В кн. CASE-технологии М.: Центральный Российский дом знаний, 1992. С. 71-76.

129. Пронин Е.С., Могуева О.В. Проектирование бортовых систем обмена информации. -М.: Радио и связь, 1989. 240 с.

130. Пьюри В., Турута Е.Н. Отказоустойчивое распределение задач в многопроцессорных системах и определение размерности систем // В кн. Распределенные управляющие и вычислительные системы. М.: Наука, 1987.С. 108-126.

131. Розенблюм Л.Я. Сети Петри // Изв. АН СССР. Техн. кибернетика. 1983. N5. С. 12-40.

132. Система моделирования СМПЛ: Метод, указания к курсовому и дипломному проектированию. / Н.Н. Бровин, А.С. Завода, А.В. Никитин. Л.: ЛИАП, 1988. 32с.

133. Системы параллельной обработки: Пер. с англ. / Под ред. Д. Ивенса. -М.: Мир, 1985.416 с.

134. Слепцов А.И. Анализ и оптимизация вычислительных систем на сетевых моделях. // Автоматизация проектирования ЭВМ и систем: Тез. докл. Всесоюз науч.-техн. конф. Ереван, 1983. Ч. 1. С. 32-33.

135. Слепцов А.И., Юрасов А.А. Автоматизация проектирования управляющих систем гибких автоматизированных производств. -К.: Техника, 1986. 156 с.

136. Стохастическо-детерминированные временные сети Петри как средство описания моделей многопроцессорных вычислительных систем / С.Н. Лобков и др. // УСиМ, 1991, № 8 С. 60-68.

137. Таль А.А., Юдицкий С.А. Иерархия и параллелизм в сетях Петри // Автоматика и телемеханика, 1982, N7. С.113-122; N9. С. 82-88.

138. Технология системного моделирования / Е.Ф. Аврамчук, А.А. Вавилов, С.В. Емельянов и др.; Под ред. С.В. Емельянова. М.: Машиностроение, Берлин: Техник, 1988. 520 с.

139. Управление гибкими производственными системами: Модели и алгоритмы / Под общ. ред. С.В. Емельянова. М.: Машиностроение, 1987. 386 с.

140. Успенский В.А. Машина Поста. -М.: Наука, 1988.-96 с.

141. Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. -М.: Наука, 1987.-288 с.

142. Федоров В.Ю. Чуканов В.О. Решение задачи диагностирования микропроцессорных систем методами сетей Петри // Разработка методов и средств технической диагностики микропроцессорных систем и устройств М.: МИФИ, 1990, С. 25-27.

143. Федоров В.Ю., Чуканов В.О. Анализ отказоустойчивости сложных систем расширениями сетей Петри // Автоматика и телемеханика, 1992, №2, С. 144-156.

144. Федоров В.Ю., Чуканов В.О. Интегрированный пакет моделирования сетей Петри с отказами // Управляющие системы и машины, 1992, № 3/4, С. 97-100.

145. Хамби Э. Программирование таблиц решений / Пер. с англ. -М.: Мир, 1976.86 с.

146. Хетагуров Я.А., Древе Ю.Г. Проектирование информационно-вычислительных комплексов: Учеб. для вузов по спец. АСУ. М.: Высш. шк., 1987. 280 с.

147. Хоар Ч. Взаимодействующие последовательные процессы: Пер. с англ. под ред. А.П. Ершова М.: Мир, 1989. 264 с.

148. Шоу А. Логическое проектирование операционных систем: Пер. с англ. М.: Мир, 1981. 360 с.

149. Шрайбер Т.Дж. Моделирование на GPSS М.: Машиностроение, 1980, 592 с.

150. Юдицкий С.А., Кутанов А.Т. Технология проектирования архитектуры информационно-управляющих систем. / Институт проблем управления. Препринт-М., 1993, 83с.

151. Юдицкий С.А., Магергут В.З. Логическое управление дискретными процессами. М.: Машиностроение. - 1987. 175 с.

152. Юдицкий С.А., Вукович И.Ю. Динамическое экспресс-моделирование организационных систем (информационная технология ДЭМОС) / Институт проблем управления. Препринт -М., 1998. 62 с.

153. 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.

154. Ajmone-Marsan M., Chiola G., On Petri Nets with Deterministic and Exponentially distributed firing times, LNCS vol. 266, Springer Verlag, 1987

155. 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

156. 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

157. 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

158. 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.

159. 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.

160. 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

161. 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

162. Bernardinello L., De Cindio F., A survey of Basic Net Models and Modular Net Classes,LNCS vol. 609, Springer Verlag, 1992

163. Best E„ Weighted Basic Petri Nets, LNCS vol. 335, Springer Verlag, 1988

164. Billington J., FORSEEing Quality Telecommunications Software, Invited paper for the first Australian Conference on Telecommunications Software (ACTS), Melbourne, April 1991

165. Bucci G., E. Vicario E., Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets // IEEE Transactions on Software Engineering, Dec. 1995

166. 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

167. C. Kelling, TimeNET-SIM a parallel Simulator for Stochastic Petri Nets // Proc. 28th Annual Simulation Symp., Phoenix, Arizona, USA, 1995

168. 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

169. 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

170. 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.

171. Dictionary Of Computing: Толковый словарь по вычислительным системам / Под ред. В. Иллингуорта: Пер. с англ. А.К. Белоцкого и др. М.: Машиностроение, 1990. 560 с.

172. Dijkstra E.W. Cooperating Sequential Processes. EWD 123, Mathematics Department, Technological University, Eindhoven, The Netherlands, September 1965. Reprinted in F. Genues (ed.)

173. Fleischhack H., Lichtblau U., MOBY A tool for high-level Petri Nets with objects. // Proc. IEEE/SMC 93, Le Touquet, Vol. 4, 1993

174. G. Berthelot G., Johnen C., L. Petrucci L„ PAPETRI: Environment for the Analysis of Petri Nets, // LNCS vol. 531, Springer Verlag, 1991

175. Genrich H. J. Predicate/Transition Nets, // LNCS vol. 254, Springer Verlag, 1987

176. 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.

177. 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

178. 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

179. 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.

180. Lew A.: Petri Net processing using decision tables, Univ. of Hawaii, Technical Report, 1985

181. Leu D., Murata T. Interrelationships among various concepts of fairness for Petri nets. // Proc. 31th Midwest Symposium Circuits and Systems, 1988.

182. 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

183. 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

184. Merlin P. Methodology for the Design and Implementation of Communication Protocols. IEEE Transactions on Communications, COM-24, No.6, 1976, P.614-621.

185. Multi-ICE software. Multiple in circuit emulator. - in Intel System Data Catalog, 1989, p. 12-54.

186. Murata T. Petri Nets and Their Applications. // J. Society of Instrument and Control Engineers. 1983, v.22, N 3, pp. 3-10.

187. 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.

188. Nutt G.J. Evaluation Nets for Computer System Performance Analysis. AFIPS Fall Joint Computer Conference, vol. 41, pt.l, 1972, P.279-286.

189. Ochsenschleger P., Verification of Cooperating Systems by simple homomorphisms using the Product Net Machine. // Workshop Algorithmen und Werkzeuge for Petri Netze, Berlin, 1994

190. Parent P., Taniv O. Voltaire: a discrete event simulator // 4th Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, 1991

191. Parker K.R.: The PROMPT automatic implementation tool Initial impressions. // Proc. 3rd Int. Conf. on Formal Description Techniques, Madrid, Spain, Nov. 1990

192. 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

193. Peters L., Schultz R.: The application of Petri Nets in Object-Oriented Enterprise simulation. // Hawaii International Cong, on system Sciences (HICSS-26), January 1993

194. Reisig W. Place/Transition Systems, //LNCS vol. 254, Springer Verlag, 1987

195. Rozenberg G, Thiagarajan P. S., Petri Nets: Basic Notions, Structure, Behaviour, // LNCS vol. Springer Verlag, 1986

196. 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

197. 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

198. 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.

199. 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

200. Snow J., Albright R., MetaDesign The graphic tool for modelling complex systems, Version 2.3; Meta Software Corporation, Cambridge, 1988

201. 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

202. 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

203. Vautherin J. Parallel Systems Specifications with Colored Petri Nets and Algebraic Specifications, LNCS vol. 266, 1987