автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.06, диссертация на тему:Использование сетей Петри для анализа и синтеза оптимальных модульных систем обработки данных

На правах рукописи технических наук

Научный руководитель:

ШАТАШВИЛЙ А.Д. - д.ф.-м.н. профессор

Москва

ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ.•.

ГЛАВА I. СЕТИ ПЕТРИ И ЗАДАЧИ СИНТЕЗА ОПТИМАЛЬНЫХ

МОДУЛЬНЫХ СИСТЕМ ОБРАБОТКИ ДАННЫХ.

§1.1. Синтез оптимальных модульных систем обработки данных (обзор)

§ 1.2. Формализованное описание сетей Петри.

Основные понятия и определения

§ 1.3. Моделирование и анализ автоматизированных систем обработки данных с'использованием сетей Петри.

КРАТКИЕ ВЫВОДЫ.

ГЛАВА 2. СИНТЕЗ ОПТИМАЛЬНЫХ МОДУЛЬНЫХ СОД ПО КРИТЕРИЮ

МАКСИМУМА ИНФОРМАЦИОННОЙ ПРОИЗВОДИТЕЛЬНОСТИ.

§ 2.1. Определение информационной производительности систем обработки данных.

§ 2.2. Анализ информационной производительности как целевой функции задач синтеза оптимальных модульных СОД.

§ 2.3. Постановка и решение задач синтеза оптимальных модульных СОД по критерию максимума информационной производительности.

§ 2.4. Синтез оптимальной модульной системы обработки данных для подсистемы ""АСУ ТП-Контроль МЧЗ".

КРАТКИЕ ВЫВОДЫ.

ГЛАВА 3. СИНТЕЗ ОПТИМАЛЬНЫХ МОДУЛЬНЫХ СОД,

РЕАЛИЗУЕМЫХ НА БАЗЕ МУЛЬТИПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ.

§ 3.1. Особенности разработки СОД, реализуемых на базе мультипроцессорных вычислительных систем.

§3.2. Постановка и решение задач синтеза программного и информационного обеспечения СОД, реализуемых с использованием однородных вычислительных систем с жестко распределенной оперативной памятью.

§ 3.3. Задачи синтеза оптимальных модульных СОД, , , реализуемых на базе однородных вычислительных систем со свободно распределенной оперативной памятью

§ 3.4. Задача синтеза состава программных модулей СОД, реализуемой на базе мультипроцессорной вычислительной системы с перестраиваемой структурой

§ 3.5. Использование моделей и методов синтеза оптимальных модульных СОД при проектировании задач "АСУ ТП-Контроль МЧЗ"

КРАТКИЕ. ВЫВОДЫ.

ГЛАВА СИНТЕЗ ОПТИМАЛЬНЫХ МОДУЛЬНЫХ СОД ПО

КРИТЕРИЮ МИНИМУМА ОБЩЕГО ВРЕМЕНИ ОБМЕНА С ВНЕШНЕЙ ПАМЯТЬЮ ЭВМ.

§ 4.1. Синтез оптимального состава модулей программного обеспечения систем обработки данных. $ 4.2. Синтез оптимальной функциональной модульной блок-схемы обработки данных и оптимального состава информационных массивов СОД

§ 4.3. Использование методов синтеза программного и информационного обеспечения.оптимальных модульных СОД при проектировании задач АСУ "Росстройбанка" и АСУ МТС "Метро".

КРАТКИЕ ВЫВОДЫ.

Актуальность темы. В "Основных направлениях экономического и-социального развития СССР на 1981-1985 годы и на период до 1990 года" поставлена задача сосредоточить усилия на решение важнейших проблем в области естественных и технических наук, в том числе на ". совершенствование вычислительной техники, ее элементной базы и математического обеспечения, средств и систем передачи и обработки информации, повышение эффективности автоматизированных систем управления. " /I/.

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

Формализация моделей и разработка эффективных алгоритмов решения задач синтеза оптимальных модульных СОД на этапе технического проектирования позволяют автоматизировать процесс проектирования систем, сократить сроки проектирования, отладки и внедрения систем в промышленную эксплуатацию на 20-30$, повысить качество проектных решений. Большие масштабы работ по созданию и внедрению СОД в различных областях народного хозяйства, а также отсутствие моделей и методов формализации и автоматизации процесса разработки оптимальных модульных ООД, учитывающих расширенные возможности современных ЭВМ и их комплексов, обуславливают актуальность выполненных научных исследований.

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

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

- б

Петри.

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

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

Практическая ценность. Разработанные с использованием сетей Петри формальные модели, методы, алгоритмы и программы обеспечивают синтез оптимальных по заданным критериям эффективности и различных по своему назначению модульных систем обработки данных на этапе их технического проектирования. Кроме того, их целесообразно использовать при разработке программного обеспечения систем автоматизированного проектирования АСУ (САПР АСУ). Использование разработанных алгоритмов и программ проектирования модульных СОД позволяет сократить сроки разработки и внедрения систем в среднем на 20-30% и повысить качество проектных решений.

Алгоритмы решения поставленных задач реализованы на языках программирования Фортран 1У и РЬ/1, входящих в состав математического обеспечения многих отечественных вычислительных машин и могут использоваться при разработке или модернизации оптимальных модульных ООД в научно-исследовательских, проектных и конструкторских организациях, а также в вычислительных центрах, разрабатывающих, и внедряющих системы обработки данных.

Внедрение. Эффективность разработанных в диссертации моделей, методов, алгоритмов и программ синтеза с использованием аппарата сетей Петри модульных ООД подтверждена положительным опытом их использования при проектировании ряда систем. При непосредственном участии автора они внедрены при разработке первой очереди автоматизированной системы управления материально-техническим снабжением Московского метрополитена (АСУ МТС "Метро"), АСУ "РосСтройбанк',1 систем реального времени "АСУ ТЯ-Контроль М.43% информационного и программного обеспечения АСУ группы предприятий Молдавского региона, ряда задач подсистемы "Техническая подготовка производства" Донецкого производственного объединения "Электробытмаш" и другие» Использование разработанных моделей и методов, алгоритмов и программ позволило сократить временные и стоимостные затраты на разработку, отладку и внедрение систем в среднем на 20-30% за счет оптимизации получаемых проектных решений.

Апробация работы* Основные результаты работы докладывались автором и обсуждались на Всесоюзном семинаре по методам синтеза типовых модульных систем обработки данных (Звенигород, 1981),

Республиканском семинаре-совещании "Моделирование, идентификация, синтез систем управления процессами и производствами" (Донецк, 1982), Республиканском научно-техническом совещании "Автоматический контроль и управление в цветной металлургии1* (Ташкент, 1983) иг других совещаниях, конференциях.

Публикации. Изложенные результаты научных исследований выполнены по плану научных работ Ордена Ленина Института проблем управления № 12-79 "Синтез оптимальных модульных и типовых модульных автоматизированных информационно-управляющих систем" (ответственный исполнитель д.т.н. КульбаВ. В.)» по плану госбюджет*-ной тематики Донецкого госуниверситета "Теоретические и прикладные вопросы использования математических методов и ЭВМ в планировании и управлении промышленного производства" (номер государственной регистрации 8X103356), а также в соответствии с Целевой комплексной программой ГКНТ 0.80.06 "Создать новые и усовершенствовать действующие автоматизированные системы управления (АСУ) промышленными министерствами, производственными объединениями и предприятиями11 и опубликованы в шести научных трудах.

Объем работы. Диссертационная работа состоит из введения, четырех глав, заключения, приложения и включает 132 страницы машинописного текста, 12 рисунков и 13 таблиц.

КРАТКИЕ ВЫВОДЫ

В главе 4 получены следующие основные результаты.

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

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

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

4. Разработанные модели и методы синтеза программного и информационного обеспечения по критерию минимума общего времени обмена между оперативной и внешней памятью ЭВМ использовались при проектировании модульных СОД для задач АСУ "Росстройбанк" и АСУ МТС "Метро", что позволило сократить общее время на разработку, отладку и внедрение задач обработки данных на 20-25$.

ЗАКЛЮЧЕНИЕ

В работе-.получены следующие основные результаты:

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

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

2. Обосновано использование показателя максимума информационной производительности, как достаточно общего показателя эффективности систем обработки данных с точки зрения пользователей, определяющего среднее количество информаций, выдаваемое системой на один запрос пользователя в единицу времени. Показана корректность использования введенного критерия для различных режимов функционирования СОД. Исследованы зависимости информационной производительности от вероятностей запросов наборов информационных элементов и времени их формирования.

Решена задача определения множества наборов вероятностей запросов, на котором значение информационной производительности не менее заданного. Решение данной задачи позволяет для каждой конкретной СОД определять изменение информационной производительности при заданных изменениях вероятностей запросов.

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

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

5. Поставлена и решена задача синтеза состава программных модулей СОД, реализуемой на базе мультипроцессорной вычислительной системы с перестраиваемой структурой. В качестве критерия синтеза рассматривается максимум общего числа независимых линейных ветвей в программных модулях СОД, которые могут выполняться параллельно на необходимом множестве процессоров системы.

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

7. Для решения поставленных задач синтеза разработаны комбинаторные алгоритмы, основанные на методах локальной оптимизации, наименьшего разбиения и последовательного построения, анализа и отбора вариантов решений. Сокращение рассматриваемых вариантов решения достигается использованием доказанных утверждений, основанных на использовании характерных особенностей и свойств модульных СОД и современной вычислительной техники. Разработанные алгоритмы реализованы на языках программирования РЬ /I и Фортран 1У, входящих в состав математического обеспечения ЕС ЭВМ.

8. Разработанные в диссертационной работе модели, методы, алгоритмы и программы использовались при разработке оптимальных модульных СОД для задач АСУ МТС "Метро", "АСУ ТП-Контроль МЧЗ", АСУ "Росстройбанк" и ряда задач АСУ группы предприятий Молдавского региона, подсистемы "Техническая подготовка производства" донецкого производственного ооъединения "Злектробытмаш", что позволило получить значительный экономический и технико-тактический эффект. (Подтвержденный актами о внедрении экономический эффект составляет 80 тыс. руб. в год).

1. Основные направления экономического и социального развития

2. СССР на I98I-I985 годы и на период до 1990 года. М. : Политиздат, 1981. - 95 с.

3. Ашимов к А'., Мамиконов А.Г., Кульба В.В. Оптимальные модульные системы обработки данных. Алма-Ата : Наука, 1981. -188 с.

4. Бурков В.Н., Ловецкий С.Е. Методы решения экстремальных задач комбинаторного типа. Автоматика и телемеханика, 1968, № II, с.68-93.

5. Вагнер Г. Основы исследования операций, т. 2, М. : Мир,1972. 443 с.

6. Глушков В.М.Введение в АСУ. -.Киев : Техника, 1974. 318 с.

7. Глушков В.М., Вельбицкий И.В. Технология программирования и проблемы ее-автоматизации. - Управляющие системы и машины, 1976, № 6, с.75-92.

8. Гусаков А.А. Автоматизация проектирования как комплексная проблема совершенствования проектного дела в строительстве.

9. М-: ЦНИИПИАС, 1973. 37 с. .

10. Дмитриев Ю.К., Хорошевский В.П. Вычислительные системы из мини ЭВМ. М. : Радио и связь, 19.82. - 304 с. .

11. Евреинов Э.В., Хорошевский В.П. Однородные вычислительные .системы.-.Новосибирск Наука. Сиб. отд-ние, 1978. 319 с.

12. Казиев Г.З.,.Косяченко С.А., Кульба В.В. Некоторые вопросы модульного проектирования АСУ. М. : ЦНИИТЭИ приборостроение, 1977, с.15-16., .

13. Кесс.Ю.Ю., Ревако В.М. Типовые модули АСУП. М. : Энергия,. 1977. 287.с.

14. Котов В^Е. Алгебра.регулярных сетей Петри. Новосибирск, 1978. - .38 е.,- (Препринт / ВЦ СО.АН СССР ; 98).

15. Кристофидес Н. Теория графов. М. : Мир, 1978. - 432 с. ■

16. КульбаВ.В., Мамиконов А.Г. Методы анализа'и синтеза оптимальных модульных систем обработки данных (обзор). Автоматика и телемеханика, 1980, № II с.152-179.

17. КульбаВ.В., Мамиконов А.Г., Пискунов А.Н. и др. Проектирование информационного обеспечения АСУ. -лМ., 1976. 54 с. -(Препринт / Институт проблем управления ; T-2I948).

18. Кунаев А.М., Ашимов A.A., Мамиконов А.Г., КульбаВ.В. Кибернетические аспекты развития систем исследования, проектирования и управления в цветной металлургии. Алма-Ата :. Вест. АН КазССР, 1980, № 3, с. 3-17.

19. Лавров С.С., Гончарова Л.И. Автоматическая обработка данных. Хранение информации в памяти ЭВМ. М. : Наука, 1971. - 160 с.

20. Лебедев В.ГГ, Митяева С.А. Реализация алгоритма распараллеливания последовательной программы. Вопросы кибернетики, 1978, вып. 43- Вычислительные машины и системы с перестраиваемой структурой, с.98-106.

21. Липаев В.В. Проектирование математического обеспечения АСУ. -М. : Сов. радио,.1977. 400 с.

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

23. Липаев В.В., Филиппович В.В. Принципы и правила модульного построения сложных комплексов программ АСУ. Управляющие системы и машины, 1975, № I, с.15-22.

24. Мамиконов А.Г. Основы построения АСУ. М. : Высшая школа, 1981. - 246.е.

25. Мамиконов А.Г., Авен О.И., Кульба В.В., Косяченко С.А. Формализованное представление результатов анализа и проектирования автоматизированных.систем управления. М. : Институтпроблем управления, 1970. -.42 с. , .

26. Мамиконов А.Г.,. Ашимбв A.A., Кульба В.В. и др. Модели.и методы автоматизации проектирования модульных систем обработки, данных. В кн.Автоматизация проектирования системуправления : Сб. научн. тр.-М.,. 1979,.с.33-36. . . . .

27. Мамиконов. А.Г., Ашимов А.А-, Кульба В .В. .и др. Синтез-оптимальных функциональных модулей систем обработки данных . в . АСУ. 1979. 74 с. - (Препринт / Институт проблем управления ; T-09II3). .

28. Мамиконов-А.Г.,."Косяченко С.А., Кульба В.В., Цвиркун.АД. Вопросы.модульного построения сложных программ. -Сб. тр. / Институт проблем управления, -1976, вып. 13. Формализованныеметоды синтеза сложных систем,.с.32-43. .

29. Мамиконов А.Г., Кульба'В.В., Косяченко С.А., Преображенский A.A., Ходыкин В.Ф. Использование сетей Петри для ана- -лиза и синтеза оптимальных модульных систем обработки данных. М., 1983. - 44 с. - (Препринт / Институт проблем управления ; T-2I6I9).

30. Мамиконов А.Г.,' Кульба В .В.,. Цвиркун А.Д. Автоматизация проектирования АСУ. Сб. тр. / Институт проблем управления, 1975, вып. 6. Вопросы создания и проектирования АСУ, с.3-42.

31. Медведев И.Л., Прангишвили И.В., Чудин A.A. Многопроцессорные вычислительные системы с перестраиваемой структурой. -М., 1975. 73 с. (Препринт / Институт проблем управления ; 045534).

32. Мультипроцессорные вычислительные системы / Под ред. Хета-г.урова Я.А. М. : Энергия, 1971. - 318 с.

33. Мультипроцессорные системы-и параллельные вычисления / Под ред. Энслоу $.Г. М. :.Мир,".197б, -.383 с.

34. Олейниченко Р.Л. О построении'правильных сетей Петри. Автоматика и телемеханика, 1982, № 12, с.130-139.

35. Прангишвили И.В., Вшгенкин С.Я.».Медведев И.Л. Параллельные вычислительные системы с общим управлением. М. : Энерго-издат, 1983. - 312 с.

36. Прангишвили И.В., Резанов В.В. Многопроцессорные управляющие вычислительные комплексы.с перестраиваемой структурой. -М., 1977. 24 с. - (Препринт / Институт точной механики и вычислительной техники ; 10).

37. Прангишвили И.В. и др. Перестраиваемая управляющая вычислительная система на основе однородных структур. В кн. : Тез. докл. на Ясесоюз. совещ. по пробл. упр., 6-е, ч. 2, М., : Наука, 1974, с. 206-208.

38. Преображенский A.A., Ходыкин В.В. Информационная производительность систем обраббтки данных. Донецк, 1982. - 10 с.

39. Рукопись предст. Донец, ун-том. Деп. в ВИНИТИ 26 июля 1982 г. № 4010-82.

40. Пржиялковский В.В. Некоторые итоги создания ЕС ЭВМ и перспективы ее дальнейшего развития. В кн. : Вычислительная техника социалистических стран. - М., : Статистика, 1979, вып. 6, с.33-43.

41. Решение задач обработки данных с .помощью ЭВМ / Под ред.

42. Глушкова В.М. Киев :. Вища школа,. 1978, - .463. с.

43. Сафонов .И.В., Оптимизационное, проектирование структурно-ал. горитмических задач. .- Киев : Знание, 1978. 127 с. .

44. Сафонов .И .В. .Оптимизация при автоматизированном .проектировании систем управления.- В сб. .: Автоматизация проектирования систем управления., М. : Финансы и статистика, 1981.с. 31-62. . .'

45. Система ИБМ/360. Введение .в .запоминающие, у с тройства прямого доступа и методы организации данных. М. : Статистика,1974.- 128.с. . . .

46. Солодов A.B.Теория информации и ее применение.к. задачам . автоматического, управления. .-М. : Наука, 1967. 234 с.

47. Таль A.A., .Юдицкий.С.А. .Иерархия и параллелизм.в. сетях Петри. П. Сложные автоматные сети с параллелизмом. Автоматика и телемеханика, 1982,. 9, с.83-88. .

48. Фано Р. Передача информации. Статистическая теория связи. -. М. .: Мир,. 1965. 438 с. :.

49. Ходыкин В.Ф. Задача синтеза программных модулей по критериюинформационной производительности. Донецк, 1982. - 11с. -Рукопись предст. Донец, ун-том. Деп. в ВИНИТИ"26 июля"1983 г. № 4009-82.

50. Хыоз Дж., Мичтон Дж. Структурный подход к программированию. -' М. : Мир, 1980. 278 с.

51. Шеннон К.Е. Работа по теории информации и кибернетике. -М. : ИЛ, 1963. 829 с.

52. Шкурба В.В., Мейтус В.Ю.,. Юрков Ю.М. Система автоматизированного проектирования АСУ. В кн.: АСУ: автоматизация проектирования и моделирования. Киев : ИК АН УССР, 1981, с.3-15.54» Boehm В. Soft engineering. IEEE Transactions on computers.

53. December 1976, vol. c-25, К 12, p. 1226-1241. 55« Davis A.L. The architecture and system method of DDM 1 : a recursively structured data driven machine. SIGARCH 1EWS-LETT, 1978, 6, 1 7, p.210-215.

54. Dijkstra E.W. The impact of Microprocessors. GMD - Spiegel, 1977, v. 7, Ш 4, p.8-11, 2.

55. Dolota T.A. Data processing in 1980-1985. Wiley-Interscience, N.Y., 1976.

56. Langefors В., Sundgren B. Insformation system architecture. New York, Petrocelli / Charter, 1975.

57. Martin W., Возуз M. Requirement derivation in automatic programming in Proc. MPT Sump. Comput. Software Eng., Apr., 1976.- 171

58. Me Gowan C,L., Kelly I.R. Top-Down Programming Techniques. New-York, Pëtrocelli / Charter, 1975«

59. Peterson I.L. Petri-Nets. ACM Computing Surveys, v. 9, të 3, September, 1977, p.223-252.

60. Petry C.A. Kommunikation mit Automates. Univ. Bonn, 1962.