Математическое моделирование многономенклатурных дискретно-непрерывных химико-технологических систем производств нитратов целлюлозы тема диссертации и автореферата по ВАК РФ 05.13.18, кандидат технических наук Матренина, Ольга Михайловна

• Матренина, Ольга Михайловна
• кандидат технических наук
• 2010

Оглавление диссертации кандидат технических наук Матренина, Ольга Михайловна

ОГЛАВЛЕНИЕ.

ВВЕДЕНИЕ.

ГЛАВА 1. АНАЛИЗ И ПОСТАНОВКА ЗАДАЧ ИССЛЕДОВАНИЯ И СОЗДАНИЯ ГИБКИХ ТЕХНОЛОГИЙ ДЛЯ ХИМИЧЕСКИХ ПРОИЗВОДСТВ.

1.1. Анализ химических производств как сложных систем.

1.2. Анализ элементной базы, структуры и особенностей функционирования многономенклатурных ДНХТС.

1.3. Анализ составных частей гибкой технологии.

ГЛАВА 2. СРАВНИТЕЛЬНЫЙ АНАЛИЗ МЕТОДОВ МОДЕЛИРОВАНИЯ

ГИБКИХ ДИСКРЕТНО-НЕПРЕРЫВНЫХ ХИМИКО-ТЕХНОЛОГИЧЕСКИХ СИСТЕМ.

2.1. Методы математического моделирования ДНХТС как дискретных динамических систем.

2.2. Аппарат теории сетей Петри в моделировании ДНХТС.

ГЛАВА 3. ДИСКРЕТНО-НЕПРЕРЫВНЫЕ СЕТИ ПЕТРИ В

МОДЕЛИРОВАНИИ И УПРАВЛЕНИИ ДИСКРЕТНО-НЕПРЕРЫВНЫМИ ХИМИКО-ТЕХНОЛОГИЧЕСКИМИ СИСТЕМАМИ.

3.1. Сети Петри как математический аппарат для моделирования ДНХТС

3.2. Моделирование элементов ДНХТС сетями Петри.

3.3 Методика синтеза общей СП-модели многономенклатурной ДНХТС.

ГЛАВА 4. СИНТЕЗ МОДЕЛИ В ВИДЕ СЕТИ ПЕТРИ ПРОИЗВОДСТВА

НИТРАТОВ ЦЕЛЛЮЛОЗЫ.

4.1. Технологические схемы производства нитратов целлюлозы.

4.1.1 Технологическая схема периодического процесса изготовления смесевого пироксилина.

4.1.2. Технологическая схема непрерывного процесса изготовления коллоксилинов.

4.1.3. Комбинированная технологическая схема изготовления смесевого пироксилина.

4.2. Анализ производства нитратов целлюлозы.

4.3. Моделирование основных аппаратов производства НЦ сетями Петри.

ГЛАВА 5. ПРОГРАММНАЯ РЕАЛИЗАЦИЯ МАТЕМАТИЧЕСКОЙ МОДЕЛИ

ПРОИЗВОДСТВА НИТРАТОВ ЦЕЛЛЮЛОЗЫ.

5.1. Комплекс программ размещения технологических процессов на аппаратурном оформлении производства НЦ.

5.2. Комплекс программ расчета оптимального дозирования компонентов.

5.3. Комплекс программ расчета оптимального дозирования пироксилинов на стадии формирования общих партий.

Введение диссертации (часть автореферата) на тему «Математическое моделирование многономенклатурных дискретно-непрерывных химико-технологических систем производств нитратов целлюлозы»

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

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

В создавшихся условиях, при дефиците инвестиций возможен следующий вариант реорганизации производств технической химии:

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

2. Адаптация систем управления (в частности АСУП и АСУТП) к задачам гибких производственных систем (ГПС). Дополнение математического обеспечения функционирующих АСУТП комплексами самообучающихся программ коррекции режимов управления при смене ассортимента продукции, подсистемой ситуационного управления ГПС.

3. Обеспечение динамической гибкости новых ХТП, то есть возможности устойчиво функционировать при смене видов сырья и энергии.

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

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

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

1. Исследовать на базе системного анализа определенного типа производственные системы - многономенклатурные дискретно-непрерывные химикотехнологические системы (ДНХТС).

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

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

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

5. Использовать разработанную методику для исследования функционирования производства нитратов целлюлозы:

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

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

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

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

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

1. Модификацию сетей Петри, представляющую собой подкласс дискретно-непрерывных сетей Петри, проблемно-ориентированный на моделирование многономенклатурных ДНХТС производств НЦ.

2. Методику моделирования модифицированными сетями Петри гибких многоассортиментных ДНХТС на конкретном примере производств НЦ.

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

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

Научная новизна:

1. На основании системного подхода к анализу производств технической химии, предложены современные методы исследования и организации технологических процессов производства нитратов целлюлозы как сложной многономенклатурной ДНХТС.

2. Предложено расширение теории модифицированных сетей Петри, ориентированное на моделирование многономенклатурных ДНХТС производств НЦ.

3. Разработаны модели типовых аппаратов, реализующих совмещенные техпроцессы многономенклатурных ДНХТС и схем их взаимодействия в виде сетей Петри.

4. Разработана методика синтеза моделей организации и функционирования многономенклатурных ДНХТС в форме модифицированных сетей Петри.

5. Разработаны СП-модели аппаратов и агрегатов, реализующих многостадийные техпроцессы производства НЦ, синтезирована модель данного производства в виде модифицированной сети Петри.

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

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

2. На базе разработанной методики моделирования получены математические модели производств НЦ в форме модифицированной сети Петри.

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

4. Предложены алгоритмы организации гибких многостадийных многономенклатурных ДНХТС и повышения эффективности их функционирования на основе использования СП-моделей.

5. На основе полученных математических моделей разработан комплекс программ, служащий основой АРМ технолога производства НЦ. Комплекс программ внедрен на действующем производстве ФГУП ФНПЦ «ГК НЛП им. В.И. Ленина».

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

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

Личное участие. Основные результаты работы получены лично автором под научным руководством д.т.н., профессора Г.Н. Марченко.

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

Апробация работы. Результаты работы представлены на II семинаре молодых ученых и специалистов «Проблемы тепломассообмена и гидродинамики в энергомашиностроении» (Казань, октябрь 2000), на V Международной научно-практической конференции КГТУ. (Казань, 1999), на Российском национальном симпозиуме по энергетике (Казань, сентябрь 2001), на Молодежной научно-практической конференции (Альметьевск, сентябрь 2002 г.), на Международной научно-технической и методологической конференции «Современные проблемы технической химии» (Казань, 2004), на XX Всероссийской межвузовской научно-технической конференции «Электромеханические и внутри-камерные процессы в энергетических установках, струйная акустика и диагностика, приборы и методы контроля природной среды, веществ, материалов и изделий» (Казань, 2008), на XIII Международной конференции молодых ученых, студентов и аспирантов «Синтез, исследование свойств, модификация и переработка высокомолекулярных соединений» (Казань, 2009).

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

Заключение диссертации по теме «Математическое моделирование, численные методы и комплексы программ», Матренина, Ольга Михайловна

ОСНОВНЫЕ РЕЗУЛЬТАТЫ ГЛАВЫ 5 1. Разработана программная реализация полученной СП-модели, позволяющая имитационно исследовать функционирование производства НЦ в условиях возможных возмущений и позволяющая оперативно адаптировать график функционирования аппаратурного оформления, обеспечивая минимум суммарного времени простоев аппаратурного оформления.

2. На основе программной реализации построены комплексы программ:

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

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

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

3. Разработанный комплекс программ принят к реализации на действующем производстве НЦ ФГУП ФНПЦ «ГК Hi ll 1 им. В.И. Ленина».

ЗАКЛЮЧЕНИЕ

1. В работе представлены результаты системного анализа многономенклатурных ДНХТС как сложных систем. Проведен анализ и классификация элементной базы и структурных связей ДНХТС, выделены особенности их функционирования. Проанализирован термин «гибкая технология» в трактовке различных авторов, намечены пути обеспечения гибкости производств технической химии.

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

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

4. Разработана методика моделирования многономенклатурных ДНХТС, включающая альбом СП-моделей типовых аппаратов и алгоритм синтеза общих моделей ДНХТС в форме СП выделенного класса.

5. Проведен анализ химико-технологических процессов, аппаратурного оформления и АСУТП производства НЦ. Показано, что объект исследования принадлежит к классу многономенклатурных ДНХТС и к его моделированию применима разработанная методика синтеза СП-модели ДНХТС.

6. Предложена формализация элементов ДНХТС производства НЦ в терминах теории сетей Петри, построены СП-модели основных аппаратов, синтезирована общая СП-модель рассматриваемого производства.

7. Разработанные алгоритмы и программная реализация полученной СП-модели, позволяют имитационно исследовать функционирование производства НЦ в условиях возможных возмущений и получать графики функционирования аппаратурного оформления, обеспечивающие минимум суммарного времени простоев. Комплекс программ принят к реализации на действующем производстве НЦ ФГУП ФНПЦ «ГК НПП им. В.И. Ленина».

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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Матренина, Ольга Михайловна, 2010 год

1. Сорока, В.Е. Основы химической технологии / В.Е. Сорока, С.В. Вечная, Н.Н. Попова. Л.: Химия, 1986. - 296 с.

2. Кутепов, A.M. Общая химическая технология / A.M. Кутенков, Т.Н. Бондарева, М.Г. Беренгартси. М.: Высшая школа, 1985. - 446 с.

3. Касаткин, А.Г. Основные процессы и аппараты химической технологии / А.Г. Касаткин. М.: Химия, 1989. - 349 с.

4. Кафаров, В.В. Анализ и синтез химико-технологических систем / В.В. Кафаров, В.П. Мешалкин. М. :Химия, 1991. - 431 с.

5. Кафаров, В.В. Методы кибернетики в химии и химической технологии / В.В.Кафаров. М.: Химия, 1971. - 496 с.

6. Кафаров, В.В. Основы автоматизированного проектирования химических производств / В.В. Кафаров, В.Н. Ветохин. М: Наука, 1987. - 623 с.

7. Аншина, М. Л. Предприятие как единый объект автоматизации Электронный документ. // Сети и системы связи: сетевой журн. 1998, — №1 (URL: http://www.ccc.ru/magazine/depot/980 l/read.html?0201 .htm). Проверено 18.10.2009

8. Карпушкин, С.В. Выбор аппаратурного оформления многоассортиментных химических производств / С.В. Карпушкин. — М. : "Издательство Машиностроение 1", 2006. - 140 с.

9. Малыгин, Е.Н. Математическая модель функционирования многопродуктовых химико-технологических систем / Е.Н. Малыгин, С.В. Карпушкин, А.Б. Борисенко // Теоретические основы химической технологии. 2005. - Т. 39. - № 4 - С. 455-465.

10. Кафаров, В.В. Гибкие автоматизированные системы в химической промышленности / В.В. Кафаров, В.В. Макаров. — М.: Химия, 1990.

11. Краснов, В.В. Гибкие системы, проблемы внедрения / В. Краснов, В. Приходько // Коммунист. -1985. №12. - с.35.

12. Гибкие производственные комплексы / под ред. П.Н. Белянина и В.А. Лещенко. М.: Машиностроение, 1984. — 384 с.

13. Гибкое автоматическое производство / под общ. ред. С.А. Майорова и Г.В. Орловского. -JI.: Машиностроение, Ленингр. отд-ние, 1983. — 376 с.

14. Перов, В.М. Использование принципов адаптации при построении гибких автоматизированных производственных систем / В.М. Перов, А.Ф. Егоров // Журн. ВХО им. Д.И. Менделеева. 1987. - T.XXXII. - в.З. - С.316-321.

15. Задорский, В.М. Аппаратурно-технологическое обеспечение гибкости химико-технологических систем / В.М. Задорский, С.М. Русалин, А.П. Фокин,

16. B.Ф. Жиденко // Журн. ВХО им. Д.И. Менделеева. 1987. - T.XXXII. - в.З.1. C.273-280.

17. Ниянзин, Н.Г. Системное проектирование ГПС / Н.Г. Ниянзин. М.: Изд-во НИИМАШ, 1988.

18. Кафаров, В.В. Гибкие автоматизированные производственные системы химической промышленности / В.В. Кафаров. //Журн. ВХОим.Д.И.Менделеева. 1987. - T.XXXII. - в.З. - С. 252-258.

19. Гибкое автоматизированное производство / В.О. Азбель и др.. Л.: Машиностроение, 1983. - 376 с.

20. Макаров, В.В. Математическое моделирование периодических процессов и систем химической технологии / В.В. Макаров. — М.: Изд-во МХТИ им. Д.И.Менделеева, 1984. 52 с.

21. Захаров, В.Н. Системы управления. Задание. Проектирование. Реализация / В.Н. Захаров, Д.А. Поспелов, В.Е. Хазацкий. М.: Энергия, 1972. - 344 с.

22. Белянин, П.Н. Технологические языки — неотъемлемые компоненты гибко перестраиваемого автоматизированного производства / П.Н. Белянин // Гибко перестраиваемые автоматизированные производства: сб. трудов НИАТ. -М.:, 1984.-Вып. 416.-С.1-3.

23. Чистовалов, С.М. Создание гибких ХТС для химических производств / С.М. Чистовалов, А.Н. Чернов // Химическая промышленность. — 1994 — №3. — С. 199-208.

24. Black, J.T. Cellular manufacturing systems reduce setup time, make small lot production economical / J.T. Black // Industial Engineering. 1983. - v. 15, No 11.-p. 36-48

25. Островский, В.А. Опыт создания гибкого автоматизированного производства субстанций фармацевтических препаратов в соответствии с нормами GMP / В.А. Островский и др.// Химическая промышленность. 2003. - Т. 80. -№1 - С. 4-18.

26. Островский, В.А. Гибкие производства малотоннажных химических продуктов / В.А. Островский // Соросовский образовательный журнал. 2000. — Т.6. -№12. — С. 56-63

27. Бутков, Ю.Г. Состояние и перспективы развития проектирования гибких производственных систем / Ю.Г. Бутков, В. А. Павлечко, Ю.В. Строцев // ТС-3 Автоматизированные системы управления. М.: ЦНИИТЭИ приборостроения. - 1986. - вып.6. - С. 57-69.

28. Макаров, В.В. Автоматическое управление беструбопроводными химико-технологическими системами / В.В. Макаров, Ю. Генин // Автоматизация и производство. 2003. - № 2 - С. 22-24.

29. Тимофеев, B.C. Технологические аспекты построения гибких автоматизированных систем / В.С.Тимофеев // Журн. ВХО им. Д.И. Менделеева. 1987. - T.XXXII. - в.З- С.265-267.

30. Калман, Р. Очерки по математической теории систем / Р. Калман, П. Фалб, М. Арбиб М.: Едиториал УРСС, 2004. - 400 с.

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

32. Бояринов, А.И. Методы оптимизации в химической технологии / А.И. Бояринов, В.В. Кафаров. М.: Химия, 1973. - 1973. - 564 с.

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

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

35. Дудников, Е.Г. Построение математических моделей химико-технологических объектов / Е.Г. Дудников, B.C. Балакирев, В.Н. Кривсунов, A.M. Цирлин. Д.: Химия, Ленингр. отд-ие, 1970. - 312 с.

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

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

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

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

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

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

42. Дьячко, А.Г. Математическое и имитационное моделирование производственных систем / А.Г. Дьячко. М.: МИСИС, 2007 - 540 с.

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

44. Джордж, Ф. Основы кибернетики / Ф.Джордж. — М: Радио и связь, 1984.-272 с.

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

46. Котов, B.C. Сети Петри / B.C. Котов. М.: Наука, 1984. - 160 с.

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

48. Нильсон, Н. Принципы искусственного интеллекта / Н. Нильсон. М.: Радио и связь, 1985. — 376 с.

49. Матвеев, В.Ф. Системы массового обслуживания / В.Ф. Матвеев, В.Г. Ушаков. М.: Изд-во МГУ, 1984. - 234 с.

50. Кенег, Д. Методы теории массового обслуживания / Д. Кенег, Д. Штойян. М.: Радио и связь, 1981. - 156 с.

51. Хинчин, А .Я. Работы по математической теории массового обслуживания / А.Я. Хинчин. М.: Физматгиз, 1963. - 348 с.

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

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

54. Корендясев, А.И. Применение имитационного моделирования при создании гибких производственных систем / А.И. Корендясев, Н.А. Серков, С.С. Стояченко // в кн.: Проблемы создания гибких автоматизированных производств. М.: Наука, 1987. - С. 48-56.

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

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

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

58. Советов, Б.Я. Моделирование систем / Б.Я. Советов, С.А. Яковлев М.: Высш. шк. - 2001. - 343 с:

59. Михеева, Т.В. Обзор существующих программных средств имитационного моделирования при исследовании механизмов функционирования и управления производственными системами / Т.В. Михеева // Известия АлтГУ. — 2009, №1. -С. 87-90

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

61. Томашевский, В. Имитационное моделирование в среде GPSS / В. То-машевский, Е. Жданова. — М.: Бестселлер, 2003. — 416 с.

62. Карпов, Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5. / Ю.Г. Карпов. — СПб.: БХВ-Петербург, 2006. 400 с.

63. Черных, И.В. Simulink: Инструмент моделирования динамических систем / И.В.Черных. -М.: Диалог-МИФИ. 2003. - 252 с.

64. Рогачев Г.Н. Stateflow 5. Руководство пользователя Электронный документ. /Г.Н. Рогачев (URL:http://matlab.exponenta.ru/stateflow/bookl/l.php). Проверено 25.11.09

65. Arena система имитационного моделирования Электронный документ. (URL: http://www.interface.ru/). Проверено 25.11.09

66. Lenz, J.E. MAST: a simulation tool for designing of computerized metal-working factories / J.E. Lenz // Simulation. 1983. — v.40. — No2. — p.51 — 58.

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

68. Окольнишников, В.В. Представление времени в имитационном моделировании / В.В. Окольнишников // Вычислительные технологии. Т. 10. - №5. -2005.-С. 57-77.

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

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

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

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

73. Кузнецов, О.П. О программной реализации логических функций и автоматов/ О.П. Кузнецов // Автоматика и телемеханика. — 1977. — №7. С. 163173, №9. - С.137-148.

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

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

76. Кубасов, С.В. Верификация автоматных программ в контексте синхронного программирования: дис. канд.техн. наук / С.В. Кубасов — Ярославль, ЯГУ. 2008.

77. Алешечкин, В.В. Система программ управления химико-технологическими процессами /В.В. Алешечкин, В.А. Коневцов, В.П. Близнюк

78. Программное обеспечение микропроцессорных устройств и ЭВМ. М., 1984. - С.113-118.

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

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

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

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

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

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

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

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

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

88. Бусленко, Н.П. Моделирование сложных систем / Н.П. Бусленко. -изд. 2-е. М.: Наука, 1978. - 400 с.

89. Лазарев, В.Г. Синтез управляющих автоматов / В.Г. Лазарев, Е.И. Пийль. изд. 3-е, перераб. и доп. - М.: Энергоатомиздат, 1989.—328 с.

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

91. Воклер, И.Э. Проблемы разработки языков логического программирования и их реализация на микроЭВМ / Воклер И.Э. и др. // Автоматика и телемеханика. 1985. - №6. - С.149-159.

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

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

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

95. Спиди, К. Теория управления. Идентификация и оптимальное управление / К. Спиди, Р. Браун, Дж. Гудвин. М.: Мир, 1973. - 248 с.

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

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

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

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

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

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

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

103. Нильсон, Н. Принципы искусственного интеллекта / Н. Нильсон. М.: Радио и связь, 1985. - 376 с.

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

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

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

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

108. Шайкин, А.Н. Моделирование и управление химико-технологическими процессами с использованием нечетких сетей Петри: автореф. дис. . канд. техн. наук: 05.13.06 / А.Н. Шайкин // М., 2002. 20 с.

109. Сочнев, А. Н. Оперативное управление производственными системами на основе сетей Петри : автореф. дис. канд. техн. наук: 05.13.01 / А.Н. Сочнев // Красноярск: Из-во КГТУ. 2005. 20 с.

110. Голиков, В.К. Сети Петри в ситуационном управлении и имитационном моделировании дискретных технологических систем / В.К. Голиков, К.Н. Ма-тусов, В.В. Сысоев. — М.: Радиотехника. — 2002. — 227 с.

111. Радченко, Е. Г. Методы режимного и потокового динамического моделирования производственных систем: дис. канд. техн. наук / Е.Г. Радченко -М., Ин-т проблем управления РАН. 2005.

112. Басыров, И. Р. Управление производством пироксилиновых порохов с использованием модифицированных сетей Петри / И. Р. Басыров и др. // Химия и компьютерное моделирование. Бутлеровские сообщения. -2002. №. 8. -С. 69-72

113. Ямпольский, Л.С. Управление дискретными процессами в ГПС /Л.С. Ямпольский и др. К.: Тэхника; Вроцлав: Изд-во Вроцлав, политехи, ин-та; Токио: Токосё, 1992.— 251 с.

114. Веревкин, А.П. Моделирование процессов принятия решений в сложных системах управления / А.П. Веревкин, Т.М. Муртазин // Проблемы нефтегазового комплекса России. Материалы международной конференции, УГНТУ. -Уфа. 1998.-С. 85-88.

115. Слепцов А.И., Юрасов А.А. Автоматизация проектирования управляющих систем гибких автоматизированных производств / А.И. Слепцов, А.А. Юрасов // под ред. Б. Н. Малиновского. — К.: Техшка, 1986 110 с.

116. Баранов, А. А. Подсистема имитационного моделирования работы производственных линий / А. А. Баранов, А. Р. Денисов, М. Г. Левин // Управление большими системами. — 2008. -№21. -С. 173-185

117. Халимон, В.И. Система преобразования модели периодического технологического процесса в сеть Петри / В.И. Халимон, Е.В. Савина // Математические методы в технике и технологиях, сб. трудов 13 междун. науч. конф. ММТТ. СПб. -2000. - Т. 6. - С. 103-104.

118. Patil, S. Coordination of Asynchronous Events / S. Patil// Ph.D. dissertation, Department of Electrical Engineering, Massachusetts Institute of Technology, Cambridge, Massachusetts. May. - 1970. -p.234.

119. Noe, J.D. A Petri net model of the CDC 6400 / J.D. Noe// Proc. ACM/SIGOPS Workshop on Systems performance Evaluation. 1971. - pp.362378 ,

120. Voss, K. A net model of a local arc a network protocol / K.Voss // In Lecture Notes Computer Science. — New York: Springer-Verlag — 1985. — pp.413-437.

121. Кузьмук, В.В. Методика алгоритмического описания и моделирования параллельных процессов управления /В.В. Кузьмук — Киев: Наук. Думка. -1981.-56 с.

122. Hansal, A. On marked graphs III / A. Hansal, G.M. Schwab// Rep. LN 25.6.038, IBM Vienna Labs, Vienna. Sept. - 1972. -p.157

123. Jump, J.R. On the equivalence of asynchronous control structures / J.R. Jump, P.S. Thiagarajan// SIAM J. Comput. v.2. - 1973. - No2. - pp. 43-47.

124. Jump, J.R. On the interconnection of asynchronous control structures. / J.R. Jump, P.S. Thiagarajan// J. ACM. 1975. - v.22. - N4. - pp. 65-71.

125. Murata, T. Analysis of marked graphs and Petri net by matrix equations / T. Murata, R.W. Church // Res. Rep. MDC 1.1.8, Dept. Imf. Ing., Univ. Illinois, Chicago Circle. Nov.- 1971. -pp.27-34

126. Hack, M. Analysis of Production Schemata by Petri Nets / M. Hack//Master's thesis, Department of Electrical Engineering, Massachusetts Institute of Technology, Cambridge, Massachusetts. Febriary. - 1972. — p.197

127. Valette, R. Analysis of Petri Nets by stepwise refinements / R. Valette// J. Computer and system Science. 1979. - N8. - p.34—46.

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

129. Taniguchi, К. On equivalence of safe Petri nets / K. Taniguchi, T. Matsuura, Y. Sugiyama, T. Kasami // Math. Res. v.2, 1979. - p. 430-436

130. Кузьмук, В.В. Управляющие сети и микропрограммное моделирование параллельных процессов / В.В. Кузьмук. — Киев, 1983, (Препр./АН УССР. Ин-т электродинамики; N 333). — 72с.

131. Jensen, К. Colored Petri Nets and the Invariant Method / K. Jensen // Theor. Сотр. Sci.- 1981.-N14.-pp. 317-336

132. Jensen, K. How to Find Invariants for Colored Petri Nets/ K. Jensen //Сотр. Sci. Dep. Aarus Univ., Denmark, DAI MI PB 120. 1980. - pp. 78-81

133. Peterson J. A note on colored Petri nets. Inform. Process. Left. . - 1980. - 11.-N1.

134. Chiola, G. Introducing a Color Formalism into Generalized Stochastic Petri Nets / G. Chiola, G. Bruno, T. Demaria // proc. 9th European Workshop on Application and Theory of Petri Nets. — Venezia, Italy. — June, 1988. — pp 202-215

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

136. Jensen, К. High-level Petri-nets/ К. Jensen //Application and Theory of Petri-Nets. InformatikFachberchte, b.66. Springer-Verlag. — 1983.-pp. 166-180.

137. Genrich, H. S-Invariance in Predicate-Transition Nets / H. Genrich, K. Lau-tenbach // Application and Theory of Petri Nets. Informatik-Fachberichte, b. 66. -Springer-Verlag. 1983. - pp. 98-111.

138. Sifakis, J. Performance Evaluation of Systems, using Petri Nets / J. Sifakis // Lecture Notes in Computer Science. V.84. 1980. - pp. 307-319.

139. Ramchandani, C. Analysis of asynchronous concurrent systems by timed Petri nets / C. Ramchandani // Ph.D. thesis, MIT. Cambridge, Mass, USA. - 1973

140. Florin, G. One-Place Unbounded Stochastic Petri Nets: Ergodic Criteria and Steady-State Solution / G. Florin, S. Natkin // Elsevier Science Publishing Co. Journal of Systems and Software. 1986. - vol. 1. - N. 2. -pp 103-115.

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

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

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

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

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

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

147. Keller, R.M. A Fundamental Theorem of Asynchronous Parallel Computation / R.M. Keller// Lect. Notes in Сотр. Sci. 1974. - N24. - pp. 102-112.

148. Finkel, A. FIFO-nets; a new Model of Parallel Computation / A. Finkel, G. Memmi //Theor. Сотр. Sci. 1983. -N5-7.-pp.111-121.

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

150. Noe, J.D. Makro-E-Nets for Representation of Parallel Systems / J.D. Noe, G.J. Nutt// IEEE Trans, on Elektron. Comput. 1973. -N8. - pp.718-727.

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

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

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

154. Jones, N.D. Complexity of some problems in Petri nets / N.D. Jones, L.H. Landweber, Y.E. Lien // Theor. Comput. Sci., 1977, N4. pp. 43-49

155. Keller, R.M. Vector replacement systems: a formalism for modeling asynchronous systems / R.M. Keller // TR 117, Comput. Sci. Lab., Princeton Univ., Dec.- 1972.-pp. 57-82

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

157. Molloy М.К. Perfomance modeling using stochastic Petri nets / M.K. Mol-loy // IEEE Trans. Comput. 1982. U. c. - 31. - N9. - pp.913- 917.

158. Marsan, M.A. A class of generalized stochastic Petri Nets for the perfomance evaluation of multiple processor systems / M.A. Marsan, G. Balbo, G. Cjnte// Proc. Perfomance 83, AMC Sigmetrics. Oct. - 1983. - pp. 198-199.

159. Zuferek, W.M. Perfomance evaluation using extended time Petri nets / W.M. Zuferek // International Workshop on Timed Petri Nets. — 1985. — pp.272 -278.

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

161. Цапко, С.Г. Е-сети с приоритетами / С.Г. Цапко // Материалы IV-ой Всероссийской научно-технической конференции «Новые информационные технологии. Разработка и аспекты применения».-Таганрог, 2001. С. 23-25

162. Шахов, В. Моделирование программно-аппаратных «реактивных» систем раскрашенными сетями Петри / В. Шахов // Электронный документ. URL: http://www.softcraft.ru/theory/mrs/index.shtml (дата обращения: 19.09.2007).

163. Ломазова, И. А. Объектно-ориентированные сети Петри: формальная семантика и анализ / И. А. Ломазова // Системная информатика. — 2002. № 8. -С.143-205.

164. Окунишникова, Е. В. Способ построения раскрашенных сетей Петри, моделирующих Estelle-спецификации / Е. В. Окунишникова, Т. Г. Чурина // Проблемы спецификации и верификации параллельных систем. — Новосибирск, 1995.-С. 95-123.

165. Басыров И.Р. Расширение сетей Петри, проблемно ориентированное на моделирование многоассортиментных производственных систем / И.Р. Басыров // Ученые записки КФЭИ. Казань. - 2001. - Вып.16. - С.177-182.

166. Суконщиков, А.А. Системы поддержки принятия решений на базе аппарата сетей Петри / А.А. Суконщиков, Д.Ю. Крюкова // Информационные технологии в проектировании и производстве. — 2008. — № 3. С. 45-49.

167. Толстов, Е.В. Моделирование шаблонов бизнес-процессов сетями Петри / Е.В. Толстов // Информ. технологии моделирования и управления. — 2006. — Вып. 4.-С. 462-469.

168. Сорокин, А.Н. Моделирование и анализ распределенных сервис-ориентированных систем с применением аппарата высокоуровневых сетей Петри / А.Н. Сорокин // Информ. технологии моделирования и управления. 2006. -Вып. 4.-С. 495-503.

169. Омаров, О.М. Использование CF-сетей для описания и моделирования параллельных вычислительных процессов / О.М. Омаров // Приборы и системы. Управление, контроль, диагностика. 2006. - №7. - С. 22-26.

170. Гиндич, В.И. Производство нитратов целлюлозы: технология и оборудование / В.И. Гиндич, Л.В. Забелин, Г.Н. Марченко. М.: ЦНИИНТИ. - 1984. -562 с.

171. Гиндич, В.И. Технология пироксилиновых порохов. Производство нитратов целлюлозы и регенерация кислот / В.И. Гиндич. Казань. - 1995. - 554 с.

172. Матренина, О.М. Метод сетевого моделирования дискретно-непрерывных ХТС / О.М. Матренина и др. // Материалы V Международной практической конференции «Методы кибернетики химико-технологических процессов». — Казань. 1999.- С. 42-43

173. Матренина, О.М. Модель ХТС водоподготовки в виде сети Петри / О.М. Матренина и др. // Тезисы докладов итоговой научно-практической конференции «Социально-экономические проблемы становления и развития рыночной экономики». Казань. 2000. - С. 101.

174. Матренина, О.М. Моделирование дискретно-непрерывного производства нитратов целлюлозы / О.М. Матренина, Л.А. Самигуллина // Материалымеждународной молодежной научной конференции XI Туполевские чтения. -Казань. 2003. Т. III. - С. 16-17