Системный анализ процесса биохимической очистки сточных вод на основе сетей Петри тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Савдур, Светлана Николаевна

• Савдур, Светлана Николаевна
• кандидат технических наук
• 2012

Оглавление диссертации кандидат технических наук Савдур, Светлана Николаевна

СОДЕРЖАНИЕ

ВВЕДЕНИЕ

Глава 1 Системный анализ управления биологической очисткой сточных вод

1.1 Характеристика промышленных сточных вод

1.2 Сравнительный анализ методов очистки сточных

вод, целесообразность использования биологического метода

1.3 Основные закономерности процесса БОСВ

1.4 Аппаратурное оформление систем БОСВ

1.5 Сущность системного подхода к управлению БОСВ

1.6 Системный анализ методов моделирования систем БОСВ

1.7 Сети Петри как математический аппарат для исследования

систем БОСВ

Глава 2 Анализ и моделирование процесса биоочистки нефтесодержащих стоков

2.1 Формализация функционирования БХТС биоочистки

2.2 Модель струйно-отстойного аппарата

2.3 Моделирование микробиологических процессов в COA

2.4 Модель процесса деструкции углеводородов в

струйно-отстойном аппарате

2.5 Моделирование движения материальных потоков в

БХТС биооочистки

Глава 3 Анализ и моделирование системы биохимической очистки сточных вод полимерного производства

3.1 Формализация функционирования БХТС биоочистки

3.2 Моделирование движения материальных потоков в

БХТС биоочистки

Глава 4 Описание программного комплекса систем биохимической очистки сточных вод нефтехимических производств

4.1 Программная реализация модели техпроцесса деструкции углеводородов в СОА

4.2 Описание программного комплекса системы биохимической очистки нефтесодержащих сточных вод

4.3 Описание программного комплекса системы управления

БХТС биоочистки сточных вод полимерного производства

ЗАКЛЮЧЕНИЕ

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

ПРИЛОЖЕНИЕ

Введение диссертации (часть автореферата) на тему «Системный анализ процесса биохимической очистки сточных вод на основе сетей Петри»

ВВЕДЕНИЕ

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

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

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

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

Диссертация написана по результатам, опубликованным в цикле работ автора [А1-А15].

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

Задачи исследования:

1. Исследование на базе системного анализа процессов биохимической очистки сточных вод.

2. Обоснование целесообразности использования математического аппарата теории сетей Петри (СП) для компьютерного исследования.

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

4. Построение математической модели процесса биоочистки нефтесодержащих сточных вод в струйно-отстойном аппарате (СОА).

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

6. Разработка программного комплекса для анализа систем биоочистки рассмотренных производств.

Автор защищает:

1. Методику системного двухуровневого моделирования сложных промышленных установок очистки сточных вод нефтехимических предприятий.

2. Постановку и формализацию задачи системного анализа функционирования установки очистки сточных вод. Практическую реализацию методики анализа на промышленных объектах.

3. Математическую модель процесса биохимической очистки нефтесодержащих сточных вод в струйно-отстойном аппарате.

4. Математические модели процессов функционирования установки биохимической очистки нефтесодержащих технологических стоков и сточных

вод полимерных производств, основанные на использовании математического аппарата модифицированных сетей Петри.

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

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

Практическая значимость:

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

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

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

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

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

Публикации. По теме диссертации опубликовано 15 работ, из них 2 в изданиях, рекомендованных ВАК.

Апробация работы. Результаты работы представлены на XIII Международной конференции молодых ученых, студентов и аспирантов «Синтез, исследование свойств, модификация и переработка высокомолекулярных соединений» (Казань, 2009), на Итоговых научно-практических конференциях «Социально-экономические проблемы становления и развития рыночной экономики» (Казань, 2008-2011), на V Международной научно-практической конференции «Наука в информационном пространстве» (Днепропетровск, 2009), на Научно- практической конференции и выставке «Инновации РАН - 2010» (Казань, 2010), на XI Международном симпозиуме «Энергоресурсоэффективность и энергосбережение» (Казань, 2010), на Международной научно-практической конференции «Инновационные, ресурсосберегающие технологии и оборудование систем водоснабжения и водоотведения» (Казань, 2011), на II Всероссийской научно-практической конференции «Проблемы анализа и моделирования региональных социально- экономических процессов» (Казань, 2011).

Структура и объем работы. Диссертационная работа состоит из введения, четырех глав, заключения, списка литературы и трех приложений. Диссертация содержит 189 страниц основного текста, 49 рисунков, список литературы из 229 источников отечественных и зарубежных авторов.

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Савдур, Светлана Николаевна

ОСНОВНЫЕ РЕЗУЛЬТАТЫ ГЛАВЫ 4

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

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

09.0G.2009 0 09.06.2009 0 09.06.2009 0 09.06.2009 0 09.06.2009 0 09.06.2009 0 09.06.2009 0 09.06.2009 0 09.06.2009 0 09.06.2009 0 09.06.2009 0

ЗАКЛЮЧЕНИЕ

1. На основе проведенного обзора основных методов моделирования дискретно-непрерывных биохимико-технологических систем обоснована целесообразность использования аппарата теории сетей Петри для моделирования процессов биохимической очистки сточных вод нефтехимических производств.

2. Предложено использовать модификацию сетей Петри, ориентированную на моделирование и анализ дискретно-непрерывных БХТС, путем включения приоритетных переходов, времени задержки меток в позициях и переходах.

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

4. Разработана математическая модель процесса биоочистки нефтесодержащих сточных вод в струйно-отстойном аппарате, определяющая функционирование установки очистки нефтесодержащих сточных вод с эффективностью обезвреживания нефтепродуктов до предельно допустимой концентрации за 1,2 часа очистки, что позволяет интенсифицировать процесс по временному параметру.

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

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

7. Эффективность предложенной методики апробирована на пилотной установке в цехе нейтрализации и очистки производственных сточных вод ОАО «Казаньоргсинтез», работа которой показала возможность обеспечения очистки сточных вод до норм оборотного водоснабжения и отвода в водные объекты без ущерба их экологического состояния.

Список литературы диссертационного исследования кандидат технических наук Савдур, Светлана Николаевна, 2012 год

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

1. Литература, опубликованная по теме диссертации

А1.Савдур С. Н. Технологический модуль очистки нефтесодержащих сточных вод / С.Н. Савдур, Ю.И. Азимов // Известия КазГАСУ. Казань: КГ АСУ, 2009. № 2 (12). С. 227 - 232.

А2.Савдур С.Н., Понкратова С.А. Системный подход в моделировании технологического процесса очистки нефтесодержащих сточных вод. // Вестник Казанского технологического университета. Казань: КГТУ, 2010. № 7. С. 218 -226.

A3.Савдур С.Н. Биотехнологические схемы глубокой очистки и доочистки углеводородсодержащих стоков химических, нефтехимических и других отраслей производства на основе применения индуцибельных соединений / С.Н. Савдур, Н.В. Морозов, К.Ш. Давлетгараев // Ученые записки. Казань: КГФЭИ, 2004. №17. С. 216-221.

А4. Савдур С.Н. Оборотное водоснабжение на промышленном предприятии // Ученые записки. Казань: КГФЭИ, 2010. № 20. С. 86 - 89.

А5. Савдур С.Н. Об одном подходе к биоочистке технологических стоков // Материалы докладов итоговой научно - практической конференции «Социально - экономические проблемы становления и развития рыночной экономики». Казань, 2009. Т. 1. С. 119-122.

А6. Савдур С.Н. Оценка эффективности оборотного водоснабжения промышленного предприятия // Материалы докладов итоговой научно — практической конференции « Социально - экономические проблемы становления и развития рыночной экономики». Казань, 2008. С. 97 - 99.

А7. Савдур С.Н., Морозов Н.В. Системный подход в управляемой очистке и доочистке нефтесодержащих сточных вод с элементами математического моделирования процесса // Материалы ежегодной научно —

практической конференции « Инновации РАН - 2010». Казань, 2010. С. 65-68.

А8. Савдур С.Н. Моделирование и программная реализация управления блочными установками очистки сточных вод // Материалы V Международной научно - практической конференции « Наука в информационном пространстве». Днепропетровск, 2009. Т. 1. С. 13-16.

А9. Азимов Ю.И., Басыров И.Р., Савдур С.Н. Технические, технологические, информационные системы управления эффективностью природоохранной биотехнологии // Сборник научных статей «Природоохранные биотехнологии в XXI веке». Казань: ТГГПУ, 2010. С. 50 -58.

А10. Савдур С.Н. Проект АСУТП в производстве полимерных продуктов // XI Международный симпозиум «Энергоресурсоэффективность и энергосбережение». Казань, 2010. С. 169- 174.

All. Савдур С.Н. Моделирование систем управления биологической очисткой промышленных сточных вод // Материалы докладов итоговой научно - практической конференции « Социально - экономические проблемы становления и развития рыночной экономики». Казань: КГФЭИ, 2010. С. 139 -142.

А12. Савдур С.Н. Моделирование системы функционирование аппарата очистки нефтесодержащих сточных вод// Материалы Международной научно -практической конференции «Инновационные, ресурсосберегающие технологии и оборудования систем водоснабжения и водоотведения». Казань, 2011. 76 -79.

А13. Савдур С.Н. Региональные проблемы обеспечения оборотного водоснабжения промышленных предприятий// Материалы II Всероссийской научно - практической конференции «Проблемы анализа и моделирования, региональных социально - экономических процессов». Казань: КГФЭИ, 2011. С. 273-276.

А14. Савдур С.H. Моделирование систем управления биологической очисткой промышленных сточных вод// Материалы итоговой научно -практической конференции «Социально - экономические проблемы становления и развития рыночной экономики». Казань: КГФЭИ, 2011. С. 104 -107.

Al5. Савдур С.Н. Моделирование системы функционирование опытно -промышленной установки очистки сточных вод нефтехимических производств// Материалы докладов итоговой научно — практической конференции «Современные проблемы глобализации мирового хозяйства и социально - культурного развития человека». Казань: ИЭиФ КФУ, 2012. С. 97 -99.

2. Список использованной литературы

1.3иятдинов H.H. Системный подход к повышению эффективности биологической очистки промышленных сточных вод: дис. ... док. тех. наук. М., 2001. С. 16-22.

2.Справочное руководство по компонентному составу водотоков и сточных вод различных производств / JI.M. Климовицкая, Ю.С. Котов, Ю.Н. Почкин [и др.] / под ред. проф. В.З. Латыповой. Казань: Изд-во Казан, ун - та, 1992. 84 с.

3.Асадуллин А.З. Комплексное усовершенствование биотехнологии очистки производственных сточных вод в отрасли органического синтеза: дис. ... канд. тех. наук в форме научного доклада. Казань, 1991. 36 с.

4.Peter P. Determination of Biological Degradability of Organic Substrates // Water Research. 1976. V. 10. P. 231-235.

5.Инструкция по приему сточных вод в горканализацию. M: Минжилкомхоз РСФСР, 1967.

6.Беличенко Ю.П., Гордеев Л.С., Комиссаров Ю.А. Замкнутые системы водообеспечения химических производств: учебное пособие для вузов. М.: Химия, 1996. 272 с.

7.Ковалева Н.Г., Ковалев В.Г. Биохимическая очистка сточных вод предприятий химической промышленности. М.: Химия, 1987. 160 с.

8.Гербер В.Я. Биохимическая очистка сточных вод нефтеперерабатывающих и нефтехимических заводов: тематический обзор. М.: ЦНИИТЭНефтехим, 1974. 76 с.

9.Яковлев C.B., Скирдов И.В., Швецов В.Н. Биологическая очистка производственных сточных вод: Процессы, аппараты и сооружения. М.: Стройиздат, 1985. 208 с.

10. Очистка химически загрязненных сточных вод: практическое руководство / В.М. Емельянов, A.C. Сироткин, H.H. Зиятдинов [и др.]. Казань: КГТУ, 1996. 24 с.

П.Вавилин В.А., Васильев В.Б., Рытов C.B.. Моделирование деструкции органического вещества сообществом микроорганизмов. М.: Наука, 1993. 208 с.

12.Вавилин В.А., Васильев В.Б. Математическое моделирование процессов биологической очистки сточных вод активным илом. М.: Наука, 1979. 119 с.

13.Кафаров В.В., Винаров А.Ю., Гордеев JI.C. Моделирование и системный анализ биохимических производств. М.: Лесная промышленность, 1985. 280 с.

14.Вавилин В.А. Время оборота биомассы и деструкция органического вещества в системах биологической очистки. М.: Наука, 1986. 144 с.

15.Моделирование аэрационных сооружений для очистки сточных вод / Л.Н. Брагинский, М.А. Евилевич, В.И. Бегачев [и др.]. Л.: Химия, 1980. 114 с.

16.Святенко Т.А., Скирдов И.В. Усовершенствование технологии биологической очистки сточных вод // Водоснабжение и санитарная техника. 1991. №3. С. 21.

17.Бейли Дж. Оллис Д. Основы биохимической инженерии: в 2 ч. / пер. с англ. М.: Мир, 1989.

18.Андреев С.Ю., Маслова О.Я. Реконструкция очистных сооружений Мокшанского маслосырзавода // Водоснабжение и санитарная техника. 1995. № 6. С. 26.

19.Васильев В.Б. Математическое моделирование процессов биологической очистки в системе с активным илом: дис. ... канд. физ.-мат. наук. М, 1981. 153 с.

20.Морозова К.М., Стонин Я.З. Комплектные сооружения для глубокой очистки сточных вод // Водоснабжение и санитарная техника. 1993. № 1. С. 20.

21.Евилевич М.А., Брагинский JI.H. Аэрационное оборудование для биологической очистки сточных вод в аэротенках. М.: ВНИИПЭИЛеспром, 1969. 45 с.

22.0чистка производственных сточных вод в аэротенках / под ред. Я.А. Карелина, Д.Д. Жукова, В.Н. Журова, Б.Н. Репина. М.: Стройиздат, 1973. 223 с.

23.Кафаров В.В., Дорохов И.Н. Системный анализ процессов химической технологии: Основы стратегии. М.: Наука, 1976. 500 с.

24.Якушева О.И. Биохимическая очистка сточных вод и газовых выбросов нефтехимических комплексов: дис. ... канд. биол. наук. Казань, 1998. 121 с.

25.Ramay M.J., Porter R., Dasgupta A., Iohonson S., Robbins. Pilot Biofilter Demonstration for Styren, MEK, and Methylene Chloride Emissions // Papers from Fourth International In-Site and On-Site Bioremediation Symposium. New Orleans, USA, 1997. V. 5. P. 225.

26.Subramanian Т. V. Degradation of Phenol in the Presence of Nonrecalcitrant Organics // Papers from Fourth International In-Site and On-Site Bioremediation Symposium. New Orleans, USA, 1997. V. 5. P. 257.

27.Гюнтер Л.И., Гольдфарб Л.Л. Метантенки. М.: Стройиздат, 1991. 128 с.

28.Туровский И.С. Обработка осадков сточных вод. М.: Стройиздат, 1988.

256 с.

29.Технологический расчет современных сооружений биологической очистки сточных вод / C.B. Яковлев, В.Н. Швецов, И.В. Скирдов [и др.] // Водоснабжение и санитарная техника. 1994. № 2. С. 2-5.

30.Совершенствование методов биологической и физико-механической очистки производственных сточных вод: сб. науч. тр. / Л.П. Истомина, Л.Н. Ушаковская, А.П. Нетюхайло [и др.]. М.: ВНИИВОДГЕО, 1990.

31 .Абдуганиев Н.К. Пневмопульсирующие аэраторы и методика их расчёта // Водоснабжение и санитарная техника. 1991. № 11. С. 9.

32.Цыганков С.П., Коваленко В.А. Анализ процесса биохимической очистки в многоступенчатом аэротенке // Химия и технология воды. 1986. № 1. С. 67-70.

33. Дядовски И. Многоступенчатый аэротенк с рассредоточенным впуском сточной воды и рециркуляцией активного ила в зонах перемешивания // Химия и технология воды. 1989. № 11. С. 541-543.

34.Кафаров В.В., Гордеев Л.С., Винаров Л.Ю. Моделирование биохимических реакторов. 1979. 341 с.

35.Батуров В.И., Лейбовский М.Г. Современные отстойники для систем водоочистки // Химическое и нефтеперерабатывающее машиностроение. 1974.

36.Скирдов И.В. Кинетика отстаивания взвешенных веществ // Водоснабжение и санитарная техника. 1993. № 6. С. 4.

37.Евилевич А.З., Евилевич М.А. Утилизация остатков сточных вод. Л.: Стройиздат, 1988. 248 с.

38.Buswell A.M., Mueller M.F. Mechanisms of Methane Fermentation // Industrial and Engineering Chemistry. 1952. V. 44.

39.Яковлев C.B., Карюхина Т.А. Биохимические процессы в очистке сточных вод. М.: Стройиздат, 1980. 200 с.

40.Имитационная модель анаэробного разложения органических веществ сообществом микроорганизмов: Основные уравнения / В.Б. Васильев, В.А. Вавилин, C.B. Рытов [и др.] // Водные ресурсы. 1993. Т. 20. № 6. С. 714-725.

41.Вавилин В.А., Рытов C.B., Локшина Л.Я. Баланс между гидролизом и метаногенезом при анаэробном разложении органического вещества // Микробиология. 1997. Т. 66. № 6. С. 846-851.

42.Применение имитационной модели «Метан» для расчета параметров двухступенчатого метантенка / В.А. Вавилин, C.B. Рытов, Л.С. Савельева [и др.] // Водные ресурсы. 1998. Т. 25. № 3. С. 383-388.

43.Очистка хозяйственно-бытовых сточных вод и обработка осадков / А.Ф. Афанасьева, М.Н. Сирота, Л.С. Савельева [и др.] М.: Изограф, 1997. 96 с.

44.Petri С.A. Kommunikation mit Automaten // Schriften des № 3. - Bonn: Institut für Instrumentalle Mathematik, 1962. // English Ttranslation: Communication with Automata // Tech. Rep. RADCTR-65-377. V. 1. Suppl. 1. New York: Griffits Air Force Base, 1966.

45.Островский Г.М., Бережинский Т. А. Оптимизация химико-технологических процессов: Теория и практика. М.: Химия, 1984. 239 с.

46.Кусков Е.К. Математическое обеспечение управления организацией технологических процессов в химико-фармацевтических производствах: дис. ... канд. тех. наук. М., 1986.

47.Быков В.П. Методическое обеспечение САПР в машиностроении. Л.: Машиностроение, 1989. 254 с.

48.Построение математических моделей химико-технологических объектов / Е.Г. Дудников, B.C. Балакирев, В.Н. Кривсунов [и др.]. Л.: Химия, 1970.312 с.

49.Растригин Л.А. Современные принципы управления сложными объектами. М.: Советское радио, 1980. 32 с.

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

51.Соломенцев Ю.М., Сосонкин В. Л. Управление гибкими производственными системами. М.: Машиностроение, 1988. 351 с.

52.Бусленко Н.П., Калашников В.В., Коваленко И.Н. Лекция по теории сложных систем. М.: Советское радио, 1973. 438 с.

53.Шенон Р. Имитационное моделирование систем: искусство и наука. М.: Мир, 1978. 158 с.

54.Имитационное моделирование производственных систем / под ред. A.A. Вавилова. М.: Машиностроение, 1983. 416 с.

55.Иодайтис B.C., Львов Ю.А. Экономико-математическое моделирование производственных систем. М.: Высшая школа, 1991. 191 с.

56.Михайлов В.Ф. Программные средства имитационного моделирования производственных процессов. София: СБНИП «Интерпрограмма», 1985. 106 с.

57.Браун Дж. Использование моделирования как средства разработки ГПС // Материалы 2-й международной конференции по ГПС. Минск: ЦНИИТУ, 1984. С. 23.

58.Корендясев А.И. Задачи и возможности имитационного моделирования при проектировании ГПС // Материалы семинара. М., 1985. С. 47-56.

59.Давиденко К.Я., Левин A.A., Шенброт И.М. Децентрализованные системы управления технологическими процессами // Измерения. Контроль. Автоматизация. М.: ЦНИИТЭИприборостроения, 1979. Вып. 2 (18). С. 54-65.

60.Ицкович Э.Л. Современные тенденции развития автоматизированных систем управления на промышленных предприятиях // Измерения. Контроль. Автоматизация. М.: ЦНИИТЭИприборостроения, 1983. Вып. 3 (47). С. 72-78.

61.ТопферХ., Крузель В. Тенденции функционального и структурного развития автоматизированных систем // Зарубежная радиоэлектроника. 1982. № 6. С. 21-28.

62.Микропроцессорное распределенное управление - новый принцип структурной организации АСУТП / Г.Г. Иордан, Н.М. Курносов, М.Г. Козлов [и др.] // Приборы и системы управления. 1980. № 1. С. 14-16.

63.Larsen G.R. A Distributed Programmable Controller System for Batch Control // Instrumentation Technology. 1983. № 3. P. 55-65.

64.Caputo F. Some Problems in Design of Flexible Manufacturing System // Annals ofthe CORP. 1983. V. 32. № 1. P. 417-421.

65.Довбня H.M., Новаченко С.И., Юревич Е.И. Алгоритмическое обеспечение систем управления гибкими автоматическими производствами // Управляющие системы и машины. 1984. № 6. С. 3-7.

66.Емельянов В.Д., Облов В.К., Овсянников М.В. Функциональная и организационная структура АСУ ГАПС // Приборы и системы управления. 1984. № 12. С. 1-3.

67.Адрианов А.Н., Бычков С.П., Хорошилов А.И. Программирование на языке СИМУЛА 67. М.: Наука, 1985. 370 с.

68.Кафаров В.В., Перов В.Л., Попов В.Б., Мандрусенко Г.И. Двухуровневая система управления химико-технологической системой с переменной структурой // Доклады АН СССР. 1978. Т. 242. № 6. С. 13931395.

69.Либерман М.Д., Турянский А.Г., Ерохина Т.М. Структура и задачи иерархической системы управления периодическими химико-фармацевтическими процессами // Проблемы создания и опыт внедрения АСУ технологическими процессами производства лекарственных препаратов и витаминов: тезисы докладов Всесоюзного совещания. М.: ЦНИИТЭИприборостроения, 1981. С.7-8.

70.Принципы построения децентрализованных систем управления периодическими процессами микробиологического синтеза / A.A. Опришко, В.В. Алешечкин, A.B. Бабаянц [и др.] // Химико-фармацевтический журнал. 1981. Т.15. № 6. С. 98-102.

71.Прокимпов H.H. Структурированное представление процесса переработки информации при моделировании // Вопросы проектирования и эксплуатации управляющих вычислительных систем. М.: Энергоатомиздат, 1983.С. 85-93.

72.Шукис А.А. Использование имитационного моделирования в АСУ ГАП // Программное обеспечение для гибких автоматизированных производств. Калинин, 1985. С. 54-58.

73.Корендясев А.И. Задачи и возможности имитационного моделирования при проектировании ГПС // Материалы семинара «Проблемы создания ГАП для различных отраслей машиностроения». М., 1985. С. 47-56.

74.Шрайбер Т.Дж. Моделирование на GPSS / пер. с англ. М.: Машиностроение, 1980. 516 с.

75.Lenz J.E. MAST: A Simulation Tool for Designing of Computerized Metalworking Factories // Simulation. 1983. V. 40. № 2. P. 51-58.

76.Райтер P., Вальраи Ж.С. Распределенное имитационное моделирование дискретно-событийных систем // Труды института инженеров электроники и радиоэлектроники. 1989. № 1. С. 245-262.

77.Biles W.E., Daniels D.M., Donnell T.J. Statical Considerations in Simulation on a Network of Microcomputers // Proc. Winter Sim Conf. 1985. P. 388398.

78.Sheperd S.V., Davis C.K., Chandra U. Parallel Simulation Environment for Multiprocessor Architecture //Proc. SCC Dist. Sim. Conf. 1988. P. 109-114.

79.Cota В., Sargent R. A Discrete Event Simulator with Shared Memory // Proc. SCS Multiconf on Dist. Simulation. 1988.

80.Bagrodia R.L., Chandy K.M., Misra J. A Message-Based Approach to the Discrete Event Simulation // IEEE Trans Software Eng. 1987. V. SE- B. № 6. P. 654665.

81.Горелик А.Г., Геворкян А. А. Управление системой аппаратов периодического действия // Теоретические основы химической технологии.

1985. Т. 19. №1. С. 128-130.

82.Бухараев Р.Г. Вероятностные автоматы и процессоры. М.: Знание,

1986. 47 с.

83.Баранов С.И. Синтез микропрограммных автоматов (граф - схемы и автоматы). Изд. 2-е. Л.: Энергия, 1979. 232 с.

84.Бухараев Р.Г. Вероятностные автоматы. 2-е изд., перераб. и доп. Казань: Изд-во КГУ, 1977. 247с.

85.Бухараев Р.Г. Основы теории вероятностных автоматов. М.: Наука, 1985. 287 с.

86.Бутов А.А. О реализации секвенциальных автоматов на программируемой логической матрице // Управляющие системы и машины. 1983. № 5. С. 8-12.

87.Кузнецов О.П. О программной реализации логических функций и автоматов // Автоматика и телемеханика. 1977. № 7. С. 163-173. № 9. С. 137148.

88.Пупырев Е.И. Интерпретирующие программы реализации булевых функций и автоматов // Автоматика и телемеханика. 1982. № 1. С. 132-140.

89.Blidey G.J. Batch Process Control Using Programmable Controllers // Control Engineering. 1984. V. 31. № 7. P. 81-84.

90.Горбатов B.A., Кафаров B.B., Павлов П.Г. Логическое управление технологическими процессами. М.: Энергия, 1978. 272 с.

91.Алешечкин В.В., Коневцов В.А., Близнюк В.П. Система программ управления химико-технологическими процессами // Программное обеспечение микропроцессорных устройств и ЭВМ. М., 1984. С. 113-118.

92.Большаков И.В. Объектно-ориентированное устройство для управления процессами синтеза лекарственных веществ // Химико-фармацевтический журнал. 1983. Т. 17. № 11. С. 1368-1373.

93 .Поспелов Д. А. Логико-лингвистические модели в системах управления. М.: Энергоиздат, 1981. 232 с.

94.Кафаров В.В., Перов В.Л., Мандрусенко Г.В. Логико-динамическая модель химико-технологической системы как основа для построения системы управления // Доклады АН СССР. 1977. Т. 236. № 3. С. 685-687.

95.Алешечкин B.B. Разработка и исследование средств программно-логического управления химико-технологическими комплексами: дис. ... канд. тех. наук. М., 1982. - 215 с.

96.Биленко М.И. АСУ ТП периодическими процессами в химикофотографической промышленности // Автоматизация химических производств: обзорная информация. - М.: НИИТЭХИМ, 1979. Вып. 5. С. 19-20.

97.Гитерман Э.М., Нуйкин Н.К., Панов В.И. Программно-технические комплексы для распределенных систем управления // Системы и средства автоматизации химических производств: обзорная информация. М.: НИИТЭХИМ. 1984. 21 с.

98. Горелик А.Г., Геворкян A.A. Управление системой аппаратов периодического действия // Теоретические основы химической технологии. 1985. Т. 19. № 1.С. 128-130.

99.Карпов Ю.И., Михин A.A. Программно-техническое обеспечение для реализации логических задач управления в АСУ ТП // Автоматизация химических производств: обзорная информация. М.: НИИТЭХИМ, 1978. Вып. 6. С.30-33.

ЮО.Алешечкин В.В., Юдицкий С.А., Чернер С.М. Метод описания функционирования и структурной организации систем управления периодическими химико-технологическими процессами // Вопросы промышленной кибернетики: Труды ЦНИИКА. М., 1980. Вып. 63. С. 7-10.

101.Евреинов Э.В., Прангишвили И.В. Цифровые автоматы с настраиваемой структурой (однородные среды). М.: Энергия, 1974. 240 с.

102.Бусленко В.Н. Автоматизация имитационного моделирования сложных систем. М.: Наука, 1977. 239 с.

ЮЗ.Бусленко Н.П. Моделирование сложных систем. Изд. 2-е. М.: Наука, 1978.400 с.

104.Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. Изд. 2-е, перераб. и доп. М.: Энергия, 1978. 408 с.

105.Гаврилов М.А., Девятков В.В., Чичковский А.Б. Языки операторных схем параллельных алгоритмов с памятью // Абстрактная и структурная теория релейных устройств: Автоматизация логического синтеза. М.: Наука, 1975. С. 53-67.

106. Проблемы разработки языков логического программирования и их реализация на микроЭВМ (на примере языка ЯРУС-2) / И.Э. Воклер, А.К. Григорян, О.П. Кузнецов [и др.] // Автоматика и телемеханика. 1985. № 6. С. 149-159.

107.ЯРУС - язык описания работы сложных автоматов / О.П. Кузнецов, А.Я. Макаревский, A.B. Марковский [и др.] // Автоматика и телемеханика. 1972. № 6. С. 80-89. № 7. С. 150-159.

108.Бутов A.A. О реализации секвенционных автоматов на программируемой логической матрице // Управляющие системы и машины. 1983. №5. С. 8-12.

109. Дьяченко Ю.Г., Кармазинский А.Н., Кокис Х.П. Синтез принципиальных схем автоматов на основе секвенциальных описаний алгоритмов функционирования // Электронная техника. Сер. 10: Микроэлектронные устройства. М.: ЦНИИ «Электроника», 1984. Вып. 6 (48). С. 43-46.

1 Ю.Закревский А.Д., Василенок В.К. Формальное описание алгоритмов логического управления при проектировании дискретных систем // Электронное моделирование. 1984. Т. 6. № 4. С.79-84.

Ш.Захаров В.Н. Автоматы с распределенной памятью. М.: Энергия, 1975. 136 с.

112.Девятков В.В., Матюхов В.В., Чичковский А.Б. УСЛОВИЕ-82 - язык автоматизированного проектирования АСУ ТП // Приборы и системы управления, 1984. № 8. С. 14.

113.Амбарцумян A.A., Девятков Ю.Ю. Язык формального описания работы управляемых механизмов (ФОРУМ) // Вопросы кибернетики:

Техническая кибернетика: Теория релейных устройств и конечных автоматов. М., 1975. С. 107-121.

114.Проблемно-ориентированной язык описания поведения систем логического управления ФОРУМ-М / A.A. Амбарцумян, С.А.Искра, Н.Ю. Кривандина [и др.] // Проектирование устройств логического управления. М., 1984. С. 4-26.

115.Ершов Ю.Л., Палютин Б.А. Математическая логика. М.: Наука, 1979.

320 с.

Пб.Кузин Л.Т. Основы кибернетики. Т. 2: Основы кибернетических моделей. М.: Энергия, 1979. 584 с.

117.Кафаров В.В., Горошин О.И. Аксиоматический подход к задаче управления химико-технологическими системами // Доклады АН СССР. 1980. Т.252. № 6. С. 1436-1437.

118.Бирюков В.В., Кантере В.М. Оптимизация периодических процессов микробиологического синтеза. М.: Наука, 1985. 296 с.

119.Бирюков В.В., Павлов B.C., Кац М.Д. Построение логических моделей микробиологических процессов и их использование для задач прогнозирования // Химико-фармацевтический журнал. 1982. Т. 16. № 1. С. 101-105.

120.Кафаров В.В., Щеглов В.Н., Дорохов И.Н. Моделирование сложных химико-технологических процессов на основе методов алгебры логики // Доклады АН СССР. 1976. Т. 231. №6. С. 1415-1418.

121.Клыков Ю.И. Ситуационное управление большими системами. М.: Энергия, 1974. 136 с.

122.Поспелов Д.А. Принципы ситуационного управления // Изв. АН СССР. Сер. Техническая кибернетика. 1971. № 2. С. 10-17.

123.Кафаров В.В., Горошин О.И. Автоматизация интеллектуальных функций управления непрерывными технологическими процессами в составе АСУ ТП // Приборы и системы управления. 1983. № 8. С. 1-3.

124.Кураков В.Д., Силаев В.В., Богатиков В.Н. Общее описание языка ситуационного управления для химико-технологических систем: депонир. рукопись. М.: ВИНИТИ, 1984. № 7581-84.

125.Позник В.Г., Кобзев В.В. Ситуационное управление сложными технологическими объектами // Приборы и системы управления. 1981. № 9 С. 6-8.

126.Нильсон Н. Принципы искусственного интеллекта. М.: Радио и связь, 1985.376 с.

127.Поспелов Д. А. Логические модели представления знаний // Представление знаний в человеко-машинных и робототехнических системах.: Фундаментальные исследования в области представления знаний. М., 1984. С. 33-35.

128.Hass P.J., Shedler G.S. Stochastic Petri Net Representation of Discrete Event Simulation // Special section in Petri Net Performance Models in IEEE Trans. Software Eng. 1989. V. 15. No. 4. P. 381-393. An Earlier Version in [29].

129.Magott J. Performance Evaluation of Concurrent Systems Using Petri Nets. // Inform. Processing Lett. 1984. V. 18. No.l. P. 7-13.

130.Meyer J.F., Movaghar A., Sanders W.H. Stochastic Activity Networks: Structure Behaviour and Application // Proc. Int. Workshop Timed Petri Nets. Torino, Italy, July 1-3, 1985. P. 106-115.

131.Murata T. Use of Resource-Time Product Concept to Derive a Performance Measure of Time Petri Nets // Proc. Symp. Circuits Systems. Midwest, Aug. 19-20, 1985.

132.Commoner F., Holt A.W., EvenS., Pnueli A. Marked Directed Graphs //J. Comput. Syst. Sci. 1971. V. 5. No. 10.

133.Courvoisier M., Valette R., Bigon J.M., Esteban P. A Programmable Logic Controller Based on a High Level Specification Tool // Proc. Conf. Ind. Ellectron. 1983. P. 174-179.

134.Distante F. A Petri Net Matrix Approach in VLSI Functional Testing // Microprocessing and Microprogramming. 1985. V. 16. No. 2-3. P. 194.

135.Ramming F.J. Hierarchical Modulator Description of VLSI Systems // Workshop Report. VLSI and Soft Ware Eng. Workshop. Silver Spring. MD. VSA. IEEE Computer Society Press, 1983. P. 112-116.

136.Valette R., Courvoisier M., Begon J.M., Albukergne J. Petri Net Based on Programmable Logic Controllers // Proc. 1st Int. IFIP Conf. Comp. Appl. in Production and Engineering. 1983. P. 103-116.

137.Апериодические автоматы. M.: Наука, 1976.

138.Бандман O.JI. Синтез асинхронного микропрограммного управления параллельными процессами: препринт ОВС-07. Новосибирск: ИМ СО АН СССР, 1978.

139.Кишеневский М.А., Таубин А.Р., Цирлин Б.С. Сети Петри и анализ переключательных систем // Кибернетика, 1982. № 4.

140.Методы параллельного микропрограммирования. Новосибирск: Наука, 1981.

141.Таль A.A., Юдицкий С.А. Иерархия и параллелизм в сетях Петри // Автоматика и телемеханика. 1982. № 7. № 9.

142.Patil S.S. Circuit Implementation of Petri Nets // CSG Memo. 73. Proj. MAC. MIT. Cambridge, Mass., Dec. 1972.

143.Patil S.S., Dennis J.B. The Description and Realization of Digital Systems // RAIRO. 1973. No. 1.

144.Patil S.S. An Asynchronous Logic Array // Techn. Memo. 62. Proj. MAC. MIT. Cambridge, Mass., 1975.

145.Dugan J.B., Ciardo G. Stochastic Petri Net Analysis of a Replicated Tile System // IEEE Trans. Software Eng. Apr. 1989. V. 15. No. 4. P. 394-401.

146.0rsu M.T. Modeling and Analysis of Distributed Database Concurrency Controlled Algorithms Using and Extended Petri Net Formalism // IEEE Trans Software Eng. Oct. 1999. V. SE-ll.No. 10. P. 1225-1240.

147.Карп P.M., Миллер P.M. Параллельные схемы программ // Кибернетический сборник. 1976. Вып. 13. С. 5-61.

148.Баранов С.И., Журавина J1.H., Песчанский В.А. Метод представления параллельных граф-схем алгоритмов совокупностями последовательных граф-схем // Автоматика и вычислительная техника. 1984. № 5. С. 74-81.

149.Goltr U., Reisig W. CSP-Programs as Nets with Individual Tokens // Lecture Notes in Computer Science. 1985. V. 188 [22]. P. 169-196.

150.Миренков H.H. О синхронизации процессов // Кибернетика. 1979. №

1.

151.Cerf V.G. Multiprocessors, Semaphores and a Graph Model of Computation: Ph. D. Thesis. Comput. Sei. Dept. Univ. Calif. Los Angeles, Apr. 1972.

152.Patil S.S. Limitations and Capabilities of Dijkstra's Semaphore Primitives for Coordination Among Processes // CSG Memo. 67. Proj. MAC. MIT. Cambridge, Mass., Feb. 1971.

153.Anderson D.W., Sparacio F.J., Tomasilo R.M. The IBM System - 360 Model 91: Machine Philosophy and Instruction Handling // IBM J. Res. and Dev. 1967. V.ll.

154.Baker R.H.G. Equivalence Problems of Petri Nets: MS Thesis. Dept. Electr. Eng. MIT. Gambridge, Mass., June 1973.

155.Bernstein P.A. Description Problems in the Modeling of Asynchronous Computer Systems TR 48. Dept. Comput. Sei. Univ. of Toronto, Jan. 1973.

156.Варшавский В.И., Мараховский В.Б., Песчанский B.A., Розенблюм JI.Я. Асинхронные процессы: I. Определение и интерпретация. II. Композиция и согласование // Известия АН СССР. Сер. Техническая кибернетика. 1980. № 4. № 5.

157.Розенблюм Л.Я., Яковлев A.B. Инструментальная модель диалога // Диалог в автоматизированных системах. М.: МДНТП, 1981.

158.Dantine A.A.S. Protocol Representation with Finite-State Models // In

159.Baer J.L., Ellis C.A. Model Design and Evaluation of a Parallel Processing Environment // IEEE Trans-Software Eng. Nov. 1977. V. SE-3. No. 6. P. 394-405.

160.Noe J.D. A Petri Net Model of the CDC 6400 // Proc. ACM/SIGOPS Workshop on Systems Performance Evaluation. 1971. P. 362-378.

161.Marsan M.A.,Chiola G., Tumagali A. An Accurate Perfomance Model of CSMA/CD fus LAN//LNCS. 1985.V. 266 [24]. P.146-161.

162.Voss К. A Net Model of a Local Area Network Protocol // Lecture Notes in Computer Science. New York: Springer-Verlag. 1985. V. 188. P. 413-437.

163.Holidoy M.A., Vernon M.K. Performance Estimates for Multiprocessor Memory and Bus Interference // IEEE Trans. Comput. Jan. 1987. V. 36. P. 76-85.

164.Alia H., Ladet P., Martiner J., Silva-Suarer M. Modeling and Validation of Complex Systems by Coloured Petri Nets: Application to a Flexible Manufacturing System // Lecture Notes in Computer Science. New York: Springer-Verlag, 1985. V. 188. P.15-31.

165.Peterson J. Petri Net Theory and the Modeling of Systems. Prentice Hall,

1981.

166.Кениг P. Минимизация сетей Петри, интерпретированных с точки зрения техники управления процессами // Автоматизированное проектирование дискретных управляющих устройств. М.: Наука, 1980. С. 187-200.

167.Кузьмук В.В. Описание и моделирование параллельных процессов управления с помощью сетей Петри // Электронное моделирование, 1982. № 5. С .33-39.

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

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

1984.

170.Patil S. Coordination of Asynchronous Events: Ph. D. Dissertation. Department of Electrical Engineering. Massachusetts Institute of Technology. Cambridge, Massachusetts, May 1970. P. 234.

171.Кузьмук B.B. Методика алгоритмического описания и моделирования параллельных процессов управления. Киев: Наук, думка, 1981. 56 с.

172.Meyer G., Kusmuk W. Beschreibung industrieller Steuerungen. Technologie und Zuverlässigkeit elektronischer Gerate // Mittweida, 25-28 Sept. 1979. S. 74-91.

173 .Landweber L.H., Robertsin E.L. Properties of Conflictfree and Persistent Petri Nets // J. ACM. 1978. V. 25. No 3.

174.Hansal A, Schwab G.M. On Marked Graphs III: Rep. LN 25.6.038. IBM Vienna Labs. Vienna, Sept. 1972.

175 Jump J.R., Thiagarajan P.S. On the Equivalence of Asynchronous Control Structures // SIAM J. Comput. 1973. V. 2. No. 2.

176.Jump J.R., Thiagarajan P.S. On the Interconnection of Asynchronous Control Structures // J. ACM. 1975. V. 22. No. 4.

177.Murata Т., Church R.W. Analisis of Marked Graphs and Petri Net by Matrix Equations // Res. Rep. MDC 1.1.8. Dept. Inf. Ing. Univ. Illinois. Chicago Circle, Nov. 1971.

178.Hack M. Analysis of Production Schemata by Petri Nets: Master's Thesis. Department of Electrical Engineering. Massachusetts Institute of Technology. Cambridge, Massachusetts, Feb. 1972.

179.Valette R. Analysis of Petri Nets by Stepwise Refinements // J. Computer and System Science. 1979. No. 8. P.3 4-46.

180.0лейниченко P.A. О построении правильных сетей Петри // Автоматика и телемеханика. № 12. С. 130-139.

181. Taniguchi К., Matsuura Т., Sugiyama Y., Kasami Т. On Equivalence of Safe Petri Nets // Math. Res. 1979. V.2.

182.Кузьмук B.B. Управляющие сети и микропрограммное моделирование параллельных процессов: препринт № 333. Киев: Ин-т Электродинамики АН УССР, 1983. 72 с.

183.Kusmuk W. Beitrag zum Entwurf von Ablaufsteuerungen: Diss. Dr. Ing. TH Karl-Marx-Stadt, 1980. 103 S.

184.Brams G.W. Reseaux de Petri: Theorie et Pratique. Paris: Masson, 1983. V. 1-2.

185.Jensen K. Coloured Petri Nets and the Invariant Method // Theoretical Computer Science. Amsterdam, North Holland, 198I.V. 14.

186.Jensen K. How to Find Invariants for Coloured Petri Nets // Comp. Sei. Dep. Aarus Univ. Denmark. DAI MI PB 120. 1980.

187.Peterson J. A Note on Coloured Petri Nets // Inform. Process. Left. 1980. V.ll, No. 1.

188.Jensen K.Coloured Petri Nets and the Invariant Method // Theor.Comp. Sei. 1981. No. 14.

189.Беликов B.K. Два подхода к определению модели раскрашенной сети Петри: депонир рукопись. М.: ВИНИТИ, 1985. № 8699-85.

190.Jensen К. Highlevel Petri Nets // Application and Theory of Petri Nets // Informatik Fachberichte. Springer-Verlag, 1983. В. 66.

191.Genrich H., Lautenbach К. System Modelling with Highlevel Petri Nets // Theoretical Computer Science. 1981. V. 13. No. 1.

192.Dias M. Modellingand Analysis of Communication and Cooperation Protocols Using Petri Net Based Models // Computer Networks. 1982. V. 6. No. 6.

193.Ayache J.M., Courtiat J.P., Dias M. Utilisation des reseaux de Petri pour la modélisation et la validation des protocols // Technique et Science Informatiques. 1985. V. 4.№ 1.

194.Memmi G., Finkel A. An Introduction to FIFO Nets - Monogenous Nets: a Subclass of FIFO Nets // Theoretical Computer Science. 1985. V. 35.

195.Finkel A., Memmi G. FIFO Nets: A New Model of Paralleles Computation // Lecture Notes in Computer Science. Berlin, Springer-Verlag, 1983. V. 145.

196.Genrich H., Lautenbach K. S-Invariance in Predicate-Transition Nets // Application and Theory of Petri Nets // Informatik Fachberichte. Springer-Verlag,

1983.B. 66.

197.Lautenbach K., Pagnoni A. Liveness and Duality in Marked-Gragh-Like Pr-Tr-Nets // IV European Workshop on Application and Theory of Petri Nets. Toulouse, 1983.

198.Vautherin J., Memmi G. Computation of Flows for Unary Predicates-Transition Nets // Papers, Presented at the 5th European Workshop on Application and Theory of Petri Nets. Aarus Univ. Aarus, Denmark, 1984.

199.Simons F.J. Introduction to Numerical Petri Neys, a General Graphical Model of Concurrent Processing Systems // Australian Telecom. Research Review. 1980. V. 14. No 1.

200.Kujaasuu R., Lindqvist M. Efficient Algorithms for Computing S-Invariants for Predicate-Transition Nets // Papers, presented at the 5th European Workshop on Application and Theory of Petri Nets. Aarus Univ. Aarus, Denmark,

1984.

201.Sifakis J. Performance Evaluation of Systems, Using Petri Nets. // Lecture Notes in Computer Science. 1980. V. 84.

202.Chretienne P. Executions controlees des reseaux de Petri temporizes // Technique et Science Informatiques. 1984. V. 3. № 1.

203.Chretienne P. Analyse des regimes transitoire et asymptotique d'un graph d'evenements temporizes // Technique et Science Informatiques. 1985. V. 5. № 1.

204.Ramchandani C. Analisys of Asynchronous Concurrent Systems by Timed Petri Nets: Ph. D. Thesis. MIT, 1973.

205 .Florin G., Natkin S. Ergodicity Criteria for Stochastic Petri Nets // Papers, Presented at the 5th European Workshop on Application and Theory of Petri Nets. Aarus Univ. Aarus, Denmark, 1984.

206.Florin G., Natkin S. Les reseaux de Petri stochastiques //Technique et Science Informatiques. 1985. V. 5. № 1.

207.Иванов H.H. Алгебраический метод решения проблемы отсутствия тупиковых разметок в сетях Петри // Автоматика и телемеханика. 1991. № 7. С. 125-130.

208.Иванов H.H. Условия существования предельного распределения вероятностей разметок во временных стохастических сетях Петри // Автоматика и телемеханика. 1992. № 7. С. 149-155.

209.Иванов H.H. Временные стохастические сети Петри с неэкспоненциальными законами распределения времени срабатывания переходов // Автоматика и телемеханика. 1994. № 9. С. 156-166.

2 Ю.Иванов H.H. Полумарковские процессы во времени стохастических сетей Петри // Автоматика и телемеханика. 1994. №3. С.117-128.

211.Баев В.В. Характеризация задачи достижимости на сетях Петри: тезисы докладов X Всесоюзного симпозиума «Логическое управление с использованием ЭВМ». Устинов: ВИНИТИ, 1987.

212.Баев В.В. К вопросу эквивалентности конфликтных сетей Петри: депонир. рукопись. Ленинград: ЦНИИ «Румб», 1987. Инв. № ДР-2689.

213.Баев В.В. Моделирование систем реального времени на основе расширения сетей Петри // Техническая кибернетика. 1992. № 3. С. 171.

214.Keller R.M. A Fundamental Theorem of Asynchronous Parallel Computation // Lect. Notes in Comp. Sei. 1974. No. 24. P. 102-112.

215.Finkel A., Memmi G. FIFO-Nets; a New Model of Parallel Computation // Theor. Comp. Sei. 1983. No. 5-7, P. 111-121.

216.Starke P.H. Monogonous FIFO-Nets and Petri Nets are Equivalent // Bull. Eur. Assoc. Theor. Comput. Sei. (Austria). 1983. No. 21. P. 68-77.

217.Руднев В.В. Словарные сети Петри // Автоматика и телемеханика. 1987. №4. С. 102.

218.Hesse R. Ein Petri-Nets-Model zur Beschreibung komplexer Verarbeitungsanfgaben // IX Arbeitstagung «Entwurf von Schaltsystemen». Berlin, 1980. S. 64-68.

219.Noe J.D., Nutt G.J. Makro-E-Nets for Representation of Parallel Systems // IEEE Trans, on Elektron. Comput. 1973. No. 8. P. 718-727.

220.Мурата Т. Сети Петри: Свойства, анализ, приложения // Труды института инженеров по электронике и радиоэлектронике. 1988. Т. 77. № 4. С. 41-45.

221.Commoner F.G. Deadlocks in Petri Nets. CA-7206-2311 // Appl. Data Res. Wakefield, Vass., June 1972.

222.Jones N.D., Landweber L.H., Lien Y.E. Complexitte of Some Problems in Petri Nets // Theor. Comput. Sei. 1977. No. 4.

223 .Keller R.M. Vector Replacement Systtems: a Formalism for Modelling Asynchronous Systems. TR 117. Comput. Sei. Lab. Princeton Univ. Princeton, N.J., Dec. 1972.

224.Sifakis J. Le contrôle de systèmes asynchrones: consepts,propriétés, analyse statique // These d'Etat. U. Grenoble, 1979.

225.Тропашко B.B. Двойственность устойчивых сетей Петри и маркированных графов // Автоматика и телемеханика. 1992. № 8. С. 134-142.

226.Мо11оу M.K. Perfomance Modelind Using Stochastic Petri Nets // IEEE Trans. Comput. 1982. No. 9. P. 913- 917.

227.Marsan M.A., Balbo G., Cjnte G. A Class of Generalised Stochastic Petri Nets for the Perfomance Evaluation of Multipleprocessor Systems // Proc. Perfomance AMC Sigmetrics. Oct. 1983. P. 198-199.

228.Zuferek W.M. Perfomance Evaluation Using Exetended Time Petri Nets // International Workshop on Timed Petri Nets. 1985. P. 272-278.

229.Юдицкий C.A. Конвейерные дискретные процессы и сети Петри // Автоматика и телемеханика. 1983. № 6. С. 99-100.

Приложение 1 Листинг программы (СОА)

public class Main {

private static final double bO = 400.0;

private static final double sO = 38.5;

private static final double m_max = 0.7;

private static final double Ks = 10.0;

private static final double pKl = 4.0;

private static final double K1 = -Math.loglO(pKl);

private static final doublepK2 = 9.0;

private static final double K2 = -Math.loglO(pK2);

private static final double Kkatl - 5.0;

private static final double Kkat2 = 50.0;

private static final double Ckat =15.0;

private static final double tOpt = 28.0;

private static final double d = 16.0;

private static final double Kd = 0.02;

private static final double Ys = 1.0;

private static final doublepH= 6.0;

private static final double Hp = -Mathdog 10(pH);

private static final double tCur = 25.0;

private static final double Db = 0.00001;

private static double qB;

private static double qS;

private static double t;

private static double dt\

private static int N;

private static double v;

private static double VI;

private static double V2;

private static double bl;

private static double si;

private static void set_v(double a_v) { v = a_v;

}

private static void set Vl(double a VI) {

VI = a_Vl;

}

private static void set_V2(double a_V2) { V2 = a_V2;

}

private static void set t(double a t) {

t = a_t; N= 10;

dt = (t* 1.0 )/(N* 1.0);

}

private static void set_const() {

qB = mjnax / ((1 + Hp/Kl + K2/Hp) *

Math.exp((tOpt - tCur) * (tOpt - tCur)/d) * (1 + Ckat/Kkatl + Kkat2/Ckat) );

qS = 1.0/Ys * m jnax / ( (1 + Hp/Kl + K2/Hp)

* M3Ah.exp{{tOpt - tCur) * (tOpt - tCur)/d)

* (1 + Ckat/Kkatl + Kkat2/Ckat));

}

private static double f_fun(double aB, double aS) {

return {b0 - aB) * v/Vl + qB * aS * aB / (Ks + aS) -Kd * aB;

}

private static double g_fun(double aB, double aS) { return (sO - aS) * v/Vl - qS * aS * aB / (Ks + aS);

}

private static void RungeKutta() {

double kl, k2, k3, k4, ml, m2, m3, m4, x, y; x = b0; y = j0;

System.owi.format("\tH.y. :\t% 10.4f\t% 10.4f\n", x, y);

for(int i = 0; i < N; i++) {

kl =fjun(x, y) * dt; ml = g_fun(x, y) * dt;

k2 =fjun(x + kl * 0.5, y + ml * 0.5) * dt; m2 = gjunix + kl * 0.5, y + ml * 0.5) * dt;

k3 =fjun(x + k2 * 0.5, y + m2 * 0.5) * dt; m3 = gjun(x + k2 * 0.5, y + m2 * 0.5) * dt;

k4 = fjun(x + k3, y + m3)*dt; m4 = g_fun{x + k3, y + m3) * dt\

X ■+= 1.0/6.0 * (kl + k2 + k2 + k3 + k3 + k4); y += 1.0/6.0 * (ml + m2 + m2 + m3 + m3 + m4);

System.oMi.format("\t%d:\t%10.4f\t%10.4f\n", i, x, y);

}

bl = x; sl= y;

}

public static void TMA (double aY, double aQ) {

int Ml = 100; int N1 = 100;

double dx= 18/(Ml * 1.0);

double dtau = i / (N1 * 1.0);

double alpha[] = new double[Nl];

double beta[] = new double[Nl];

double yi[] = new double[Nl];

double A = Db * dtau/dx;

double _B = Db* dtau/dx/dx - v * dtau/dx;

double _C = 1 + 2 * Db * dtau/dx/dx - v * dtau/dx;

double _F = -aY - qB * dtau;

alpha[l] = - _B / _C;

beta[l]=_F/_C;

for (int j = 0; j < Ml; j++) {

t += dtau;

for (int i = 2; i <N1; i++) {

alpha[i] =_B/(C-alpha[i-l] * _A);

beta[i] = (_A * beta[i-l] + _F) / (_C - alpha[i-l] * _A);

}

yi[Nl - 1] = (_F - _A * beta[Nl - 1]) / (_C + _A * alpha[Nl - 1]);

for (int i = N1 - 2; i >= 0; i-) {

yi[i] = yi[i + 1] * alpha[i+l] + beta[i+l]; System.ow/.println("" + yi[i]);

}

}

}

public static void main(String[] args) { setconstQ; set_v( 7.0); set_Vl( 14.137); set_V2(353A29); set_t(Vl/v); RungeKuttaQ; set_t{V2/v);

System.<9M/.println("\nB2"); TMA(bl, qB* si* Ы / (to + ji))

}

}