Методы и средства имитационного моделирования систем управления материальными ресурсами дискретного машиностроительного производства на основе сетей Петри тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат наук Степаненко, Виктор Евгеньевич

  • Степаненко, Виктор Евгеньевич
  • кандидат науккандидат наук
  • 2013, Комсомольск-на-Амуре
  • Специальность ВАК РФ05.13.06
  • Количество страниц 121
Степаненко, Виктор Евгеньевич. Методы и средства имитационного моделирования систем управления материальными ресурсами дискретного машиностроительного производства на основе сетей Петри: дис. кандидат наук: 05.13.06 - Автоматизация и управление технологическими процессами и производствами (по отраслям). Комсомольск-на-Амуре. 2013. 121 с.

Оглавление диссертации кандидат наук Степаненко, Виктор Евгеньевич

ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ

ГЛАВА 1 АНАЛИЗ ПРОЦЕССОВ УПРАВЛЕНИЯ ДВИЖЕНИЕМ РЕСУРСОВ В

ДИСКРЕТНОМ ПРОИЗВОДСТВЕ И СРЕДСТВ ИХ МОДЕЛИРОВАНИЯ

1Л Особенности дискретного производства и требования к средствам моделирования

1.2 Сравнительный анализ инструментов пригодных для моделирования процессов движения материальных производственных ресурсов дискретного производства

1.3 Анализ пригодности математического аппарата сетей Петри для построения средств поддержки принятия решения при управлении дискретным производством

1.4 Выводы к главе

ГЛАВА 2 МОДЕЛИРОВАНИЕ ДИСКРЕТНОГО ПРОИЗВОДСТВА

2Л Формирование структуры цветной сети Петри

2.2 Представление состояния ресурса

2.3 Представление контроля, учет воздействия случайных факторов

2.4 Учет дополнительных факторов и ограничений

2.5 Представление операционного маршрута изготовления ресурса

2.6 Введение стоимостных показателей в модель

2.7 Учет управляющих воздействий, оценка состояния производственного процесса

2.8 Имитация производственного процесса, анализ моделей

2.9 Алгоритм построения и анализа имитационных моделей производственного процесса

2.10 Выводы к главе

Глава 3 ИМИТАЦИОННАЯ МОДЕЛЬ ПРОЦЕССА ПРОИЗВОДСТВА КОМПОНЕНТА АВИАЦИОННОЙ ТЕХНИКИ

3.1 Описание производственного процесса

3.2 Формирование управляющих воздействий на производственный процесс

3.3 Архитектура АСУП и реализация модуля имитационного моделирования

3.4 Модель производственного процесса

3.5 Эксперименты с моделью

3.6 Выводы к главе

ЗАКЛЮЧЕНИЕ

СПИСОК ИСПОЛЬЗУЕМЫХ СОКРАЩЕНИЙ

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

ПРИЛОЖЕНИЕ А

ПРИЛОЖЕНИЕ Б

ПРИЛОЖЕНИЕ В

ПРИЛОЖЕНИЕ Г

Рекомендованный список диссертаций по специальности «Автоматизация и управление технологическими процессами и производствами (по отраслям)», 05.13.06 шифр ВАК

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

ВВЕДЕНИЕ

В современных рыночных условиях при управлении производственными предприятиями на первый план выходит снижение себестоимости продукции с одновременным сохранением и повышением ее качества. Одним из ключевых вопросов, напрямую влияющих на обеспечение снижения затрат в машиностроении, является организация управления материальными ресурсами1. Основой этих процессов является выработка управленческих решений лицом или группой лиц, принимающих их (ЛПР). Зачастую критериями, на основе которых ЛПР вырабатывает управленческое решение (УР), являются: уровень затрат (материальные, трудовые затраты и т.п.), которые возникают в процессе производства и могут быть сокращены; сроки выполнения процесса производства (будет ли выполнен план в срок). Однако машиностроительной отрасли (в частности, авиастроению) присущи некоторые особенности:

-сложность структуры конечного изделия (состав изделия, представленный в виде древовидной иерархической структуры, достигает несколько десятков уровней вложения);

- многономенклатурность используемых материальных ресурсов (количество наименований стандартных деталей достигает несколько десятков тысяч);

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

— параллелизм технологических процессов.

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

1 Имеются ввиду не только непосредственные материалы и сырье, но и объекты незавершенного производства, например, детали, сборки и т.п., движение которых также играет немаловажную роль в дискретном производстве.

дискретно-событийные модели. В качестве теоретического базиса в таких моделях могут быть применены: теория автоматов; сети и системы массового обслуживания; системы временной логики; методы структурно-функционального анализа бизнес-процессов и др. Несмотря на достаточную проработку указанных выше методов, построенные на их основе средства информационной поддержки не получили широкого распространения в управлении движением материальных ресурсов машиностроительного производства (и авиационной отрасли в частности). Среди основных причин данного факта можно выделить: сложность для понимания моделей лицами, незнакомыми с теоретическими основами методологии, отсутствие наглядного способа представления моделируемого процесса, невозможность представления четких количественных критериев для выработки УР, отсутствие проработанных технологий реализации модели в рамках автоматизированной системы управления предприятием (АСУП).

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

Систематическое изучение свойств СП началось на рубеже 60-х и 70-х гг. и продолжается до сих пор. Среди авторов, в разное время занимавшихся исследованиями в области СП, можно отметить Н. А. Анисимова, О. Л. Бандман, И. Б. Вирбицкайте, В. Е. Котова, И. А. Ломазову, В. А.Соколова, Л. А. Черкасову, Дж. Питерсона, К. Йенсена, Л. Кристенсена и многих других. Предложенный теоретический инструментарий на практике получил широкое распространение в области моделирования и верификации протоколов связи, а также в моделировании алгоритмов параллельного программирования, но в силу ряда ограничений (например, отсутствие в моделях четких количественных критериев оценки

процесса), не используется при построении систем имитационного моделирования производства и при создании модулей АСУП.

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

Целыо исследования является создание высокоуровневого интуитивно понятного средства анализа систем управления производственными материальными ресурсами позволяющего учесть объективные количественные факторы при управлении дискретным производством, а таюке разработка методики его применения при создании АСУП. Задачи исследования:

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

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

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

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

-средств проектирования и разработки реляционных баз данных для АСУП;

-инструментов разработки модулей АСУП (средства разработки программного обеспечения).

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

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

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

3. Разработана новая математическая модель процесса дискретного производства, основанная на применении ЦСП, в которой: для отображения наличного запаса используются мультимножества, с вещественной кратностью элементов; для введения стоимостного критерия оценки процесса производства используются дополнительные элементы ЦСП: множество Ми функция И.

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

На защиту выносятся следующие положения, полученные в рамках исследования:

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

2. Введение в структуру ЦСП конечного множества компонент себестоимости М и функции й:Т -> М позволяет ввести стоимостные факторы в имитационную модель процесса дискретного производства для обеспечения объективных количественных показателей при управлении.

3. Математическая модель процесса дискретного производства, в основу которой положена ЦСП, в которой для отображения наличного запаса используются мультимножества с вещественной кратностью элементов и для введения стоимостного критерия оценки процесса производства используются дополнительные элементы ЦСП (множество Ми функция ГУ), позволяет:

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

-формализовать параллелизм;

-представить состояние материальных ресурсов в заданный момент времени;

-оценить объективные количественные, стоимостные и временные показатели процесса производства;

-реализовать интерактивное средство поддержки принятия решений в оперативном управлении и диспетчеризации дискретным производством.

4. Алгоритм автоматизированного построения структуры СП на основе состава изделия и технологии производства позволяет значительно упростить процесс разработки имитационной модели и делает её доступной для использования при оперативном управлении производством и диспетчеризации.

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

Внедрение. Научные и практические результаты диссертационной работы были использованы при проектировании модуля АСУП, внедренного в филиале ОАО «Компания «Сухой» «КнААЗ им. Ю.А. Гагарина».

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

1. Десятая всероссийская научно-техническая конференция «Теоретические и прикладные вопросы современных информационных технологий» (ТиПВСИТ), г. Улан-Удэ, 2009 г.

2. Теория и практика механической и электрофизической обработки материалов, г.Комсомольск-на-Амуре, 2009 г.

3. Первая научно-практическая конференция молодых ученых и специалистов «Исследования и перспективные разработки в машиностроении», ОАО «КНААПО», г. Комсомольск-на-Амуре, 2010 г.

4. Вторая научно-практическая конференция молодых ученых и специалистов «Исследования и перспективные разработки в машиностроении», ОАО «КНААПО», г. Комсомольск-на-Амуре, 2012 г.

5. Итоговая региональная конференция по программе «УМНИК-2012», «Передовые идеи Дальнего Востока - XXI веку», г. Хабаровск, 15-16 ноября 2012 г.

6. Третья научно-практическая конференция «Молодежь. Проекты. Идеи» Иркутский авиационный завод - Филиал ОАО «Корпорация «Иркут», г. Иркутск, 911 октября 2013 г.

Материалы исследований также докладывались и обсуждались на ежегодных научно-технических конференциях аспирантов и студентов ФГБОУ ВПО «КнАГТУ» (2008-2012 гг).

В главе 1 приводится классификация существующих типов дискретного машиностроительного производства. Описываются основные концепции систем управления материальными потоками в дискретном производстве и их компоненты. Также приводится обобщенная схема автоматизированного управления дискретным производством, проводится сравнительный анализ инструментов дискретно-событийного моделирования систем движения материальных ресурсов. Описываются основные положения методологии цветных сетей Петри - Coloured Petri Nets (CPN), сформулированной в ряде публикаций таких авторов как К. Йенсен и JI.M. Кристенсеном (К. Jensen, L.M. Kristensen). Излагаются формальные определения основных математических конструкций. Глава 2 посвящена разработке методики формализации процесса дискретного производства с учетом

движения производственных материальных ресурсов, а также методики включения в модель объективных количественных показателей оценки моделируемого процесса. В главе 3 изложено применение методик из гл. 3 на примере процесса производства клапана управления фонарем самолета Су-30 МК2 и описаны основные возможности построенной таким образом модели в рамках двух имитационных экспериментов. Также показано место подобной модели в общей схеме автоматизированного управления производством приведенной ранее в гл.1. В конце главы показана структура модуля АСУП при помощи которого производится реализация сетевой модели. В приложениях представлены: листинг разработанных программ, описание базы данных, акты об использовании результатов исследования на предприятии, а также данные полученные в ходе проведения экспериментов с имитационной моделью.

Автор искренне признателен руководству отдела внедрения и эксплуатации корпоративных систем (ОВЭКС) и начальнику научно-производственного отдела (НПО) Комсомольского-на-Амуре авиационного завода (КНААЗ) Крупскому Р. Ф. за поддержку и предоставленную возможность наработки практического материала исследования, а так же доктору технических наук, профессору Амосову О. С. за консультации, внимание и критический анализ результатов работы.

ГЛАВА 1 АНАЛИЗ ПРОЦЕССОВ УПРАВЛЕНИЯ ДВИЖЕНИЕМ РЕСУРСОВ В ДИСКРЕТНОМ ПРОИЗВОДСТВЕ И СРЕДСТВ ИХ МОДЕЛИРОВАНИЯ

1.1 Особенности дискретного производства н требования к средствам

моделирования

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

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

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

государственного заказа бросило вызов многим предприятиям машиностроительной отросли, заставляя подстраиваться под рыночный спрос на свою продукцию. Столь эффективная, привычная всем форма организации производства начала становиться бременем. Многие предприятия не сумевшие перестроиться, либо найти рынки сбыта собственной продукции, перестали существовать, а те, что выжили, были вынуждены резко сократить численность персонала и заморозить собственные мощности. В этих условиях появляется необходимость в создании гибкой производственной системы позволяющей в быстрые сроки изготавливать разные виды продукции в том количестве, которое необходимо рынку без создания избыточных производственных затрат. Альтернативой серийному производству в мировой практике производственного менеджмента многие авторы [9, 39, 46, 56] считают бережливое производство «по одному». Данный метод организации производственного процесса позволяет выполнять работу без задержек и остановок. Действия не добавляющие в продукт стоимость, здесь считаются бесполезными и устраняются путем соединения рабочих этапов друг с другом и уравновешивания объемов работы, благодаря этому продукты поглощаются напрямую последующими рабочими шагами, по одному за один период времени, вплоть до завершения изделия. Такая последовательность производства позволяет получить разные виды конечного продукта ровно за то время, которое действительно необходимо для их выработки. Время ожидания, время простоя в очереди и другие задержки в бережливом производстве рассматриваются как бесполезные и значительно сокращаются или ликвидируются [56].

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

процессов (поломка оборудования, задержка ресурсов, колебание спроса на продукцию и др.)

Теперь выделим основные элементы процесса с точки зрения динамики его функционирования. Какова же структура данных элементов. Выдающийся японский менеджер и один из основоположников принципов бережливого производства Сигео Синго [46] выделил следующие основные компоненты производственного процесса: -обработка - физическое изменение материала или его качества; -контроль — сравнение со стандартом;

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

-задержка - период времени, в течение которого не происходит обработка, контроль или транспортировка.

Кроме того, задержку можно разделить на два типа:

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

-задержка партии - одно изделие обрабатывается, а другие ждут обработки или завершения обработки деталей всей партии. Такой вид задержки возможен также при контроле и транспортировке.

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

Как показано выше процесс дискретного машиностроительного производства можно разделить на следующие составляющие: транспортировка, обработка, контроль, задержка. Т.е. другими словами дискретное машиностроительное

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

Рисунок 1.1 - Обобщенная схема автоматизированного управления

производством

На рисунке 1.1 представлена схема подобного автоматизированного управления. Пунктирной линией обозначены слабоформализуемые информационные потоки, предназначенные для анализа, который осуществляется ЛПР. Сплошной линией обозначаются формализованные информационные потоки, обработка и передача которых осуществляется по средствам информационных систем (ИС).

На рисунке 1.1 изображены:

Х(й - вектор задающих воздействий, выраженных в виде набора четких детерминированных значений, способных обрабатываться при помощи АСУП;

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

Uу - вектор управляющих воздействий, Uy = UuU;

U - вектор заказов на закупку и производство, генерируемых и передаваемых в производство по средствам АСУП.

Под заказом понимается кортеж, состоящий из трех компонент:

iterrii - тип ресурса, который необходимо переместить или изготовить, iteml g ITEM множеству всех закупаемых и изготавливаемых изделий на предприятии;

quant - количество ресурса, которое необходимо переместить или изготовить (действительная величина);

timej - срок к которому необходимо изготовить или переместить ресурс;

U - вектор управляющих воздействий, выраженный в виде набора количественных, качественных и ассоциативных характеристик, в большинстве неопределенных, нечетких и не поддающихся обработке АСУП;

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

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

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

или переместить. При появлении нескольких альтернатив необходимо оценивать стоимость каждой и выбирать наименее затратный вариант.

1.2 Сравнительный анализ инструментов пригодных для моделирования процессов движения материальных производственных ресурсов дискретного

производства

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

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

(иерархическими) процессами. В области математического моделирования подобных производственных и логистических систем «классическими» можно считать следующие парадигмы:

-дискретно-событичное моделирование, -моделирование методом системной динамики [53].

В области дискретно-событийного моделирования наиболее известным и распространенным инструментом является GPSS, а в области системно-динамического моделирования - язык Dynamo. В статье «Инженерные традиции в имитационном моделировании производственных и логистических систем Толуев Ю. И. так описывает эти два подхода: «...Оба вида моделей можно назвать потоковыми, так как суть процесса моделирования заключается в продвижении некоторого субстрата (материалов, изделий, транспортных средств) через сетевую структуру, состоящую из узлов, в которых субстрат может накапливаться

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

Похожие диссертационные работы по специальности «Автоматизация и управление технологическими процессами и производствами (по отраслям)», 05.13.06 шифр ВАК

Список литературы диссертационного исследования кандидат наук Степаненко, Виктор Евгеньевич, 2013 год

СПИСОК ИСПОЛЬЗОВАННЫХ источников

1 Агапов, С. А. Совершенствование экономического механизма бюджетного управления промышленным предприятием: Автореф. дис. ... канд. эконом, наук. М. -2011.-24 с.

2 Антонов А. В. Системный анализ. Учебник для вузов/А.В. Антонов. - М.: Высш. шк., 2004.-454 с.

3 Архитектура вычислительных систем: Учеб. пособие / А. А. Хусаинов, Н. Н. Михайлова. - Комсомольск-на-Амуре: Государственное образовательное учреждение высшего профессионального образования «Комсомольский-на-Амуре гос. техн. ун-т», 2004. - 123 с.

4 Атаманов, Д. Ю. Распределение затрат при калькуляции себестоимости традиционным и операционно-ориентированным методом / Д. Ю. Атаманов // Маркетинг в России и за рубежом. - 2003. № 3.

5 Бир, С. Кибернетика и управление производством / Пер. с англ. - М.: Физматлит. 270 стр.

6 Бир, С. Мозг фирмы / Пер. с англ. -М.: Радио и связь, 1993. -416 с.

7 Бодянский, Е. В. Нейро-фаззи сети Петри в задачах моделирования сложных систем / Е. В. Бодянский, Е. И. Кучеренко, А.И. Михалев - Днепропетровк: Системные технологии, 2005. - 311 с.

8 Быстров, А. В. Спецификация и анализ распределенных систем на основе инструментальных средств, поддерживающих модели сетей Петри: Дис. ... канд. физ.-мат. наук. Новосибирск. 2008. - 136 с.

9 Вумек, Д., Джонс Д. Бережливое производство. Как избавиться от потерь и добиться процветания вашей компании / пер. с англ. С. Турко - М.: Альпина Паблишер. - 2008. 476 с.

10 Голенков, Е.А Метод автоматического построения модели параллельной программы в терминах сетей Петри / Е.А. Голенков, A.C. Соколов // Вычислительные методы и программирование. -2005 т. 6. - 77-82 с.

11 Гордашникова, О. Ю. Функционально-стоимостной анализ качества продукции и управления маркетингом на предприятии / О. Ю. Гордашникова - М.: Издательство «Альфа-Пресс». 2006. - 88 с.

12 ГОСТ 3.1118-82 Единая система технологической документации формы и правила оформления маршрутных карт. -М.: Издательство стандартов, 1982.

13 ГОСТ 3.1109-82 Межгосударственный стандарт единая система технологической документации термины и определения основных понятий. - М.: Издательство стандартов, 1982.

14 Диссертация и ученая степень: Методическое пособие для соискателей. / A.M. Кориков, А.А. Мицель - Томск: Том. гос. ун-т систем управления и радиоэлектрон., 2007 . - 165 с.

15 Диденко, Д. Г. Качество генерации псевдослучайных чисел в системах имитационного моделирования OpenGPSS, GPSSYWorld и AnyLogic // Имитационное моделирование. Теория и практика: Сборник докладов пятой юбилейной всероссийской научно-практической конференции ИММОД-2011. Том 1. СПб.: ОАО «ЦТСС». 2011. - с. 134-138.

16 Доррер, А. Г. Моделирование интерактивного адаптивного обучающего курса / А.Г. Доррер, Т.Н. Иванилова // Современные проблемы науки и образования. -2007. №5.

17 Доррер, А. Г. Моделирование и разработка интерактивных обучающих систем с адаптацией: Дис .... канд. техн. наук. Красноярск - 2005. - 153 с.

18 Доррер, Г. А. Моделирование процесса интерактивного обучения на базе формализмов раскрашенных сетей Петри / Г. А. Доррер, Г. М. Рудакова // Весник Краснояр. гос. ун-та. сер. физ.-матем. науки: - 2004. №3. 29-35 с.

19 Доррер, М. Г. Алгоритм преобразования моделей бизнес-процессов в безопасные сети Петри на основе матричных формул / М. Г. Доррер // Исследовано в России, - 2008. с 1131-1139 с, http://zhurnal.ape.relarn.ru/articles /2008/104.pdf.

20 Ефимов, М. И. Алгоритмы анализа для нечетких временных сетей Петри / М. И. Ефимов, В. П. Желтов // Фундаментальные исследования. - 2004. - № 6 - С. 113-113.

21 Ехлаков Ю. П. Сети Петри в моделировании бизнес-процессов. Теоретические основы и приложения / Ю.П. Ехлаков, О.И. Жуковский, П.В.Сенченко, В.Ф. Тарасенко; под. ред. проф. Ю.П. Ехлакова. - Томск: Томск, гос. ун-т систем управления и радиоэлектроники, 2007. - 180 с.

22 Жабар, А. Н. Моделирование анализ и оптимизация протокола TCP / А. Ж. Нури, Д. С. Ндуесо, Б. Б. Моэз // Сборник трудов магистрантов Донецкого национального технического университета. Выпуск 1. - 2002. - 927-937 с.

23 Зимаев, И.В. Блоки анализирующей сети Петри / И. В. Зимаев // Сборник научных трудов НГТУ. - 2010. - № 3(61). - 169-172 с.

24 Имитационное моделирование экономических процессов Учеб.пособие / А.А.Емельянов, Е.А. Власова, Р.В.Дума; под ред. А.А.Емельянова. - М.: Финансы и статистика, 2002. - 368 с.

25 Исследование операций в экономике: Учеб.пособие для вузов/ под ред. Н.Ш.Кремера. - М.: Банки и биржи, ЮНИТИ, 2001. - 407 с.

26 Карпов, Ю. Г. Теория автоматов / 10. Г. Карпов - СПб.: Питер, 2003. - 208

с.

27 Козюра, В.Е. Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем: Дис. ... канд. тех. наук. Новосибирск.: 2004. - 85 с.

28 Колесников, С.Н. Производственное и функциональное управление: от MRP к ERP и CSRP. Стратегии бизнеса: управление ресурсами и запасами. / С. Н. Колесников. - М.: «Статус-Кво 97», 2000.

29 Коротиков, С. В. Применение цветных иерархических сетей Петри для верификации UML-диаграмм на этапе анализа требований к системе дистанционного контроля и управления / С. В Коротиков // Сборник научных трудов НГТУ. - 2007. - № 1(47).-с 81-92.

30 Костина, С. А. Моделирование логистических процессов в автоматизированных распределенных производственных системах на основе сетей Петри: Дис. ... канд. тех. наук. М.: 2006. - 213 с.

31 Костина, С. А. Применение формального аппарата сетей Петри для описания и моделирования логистических систем / С. А. Костина // Техника и технология. №5.

32 Котов, В.Е. Сети Петри / В.Е. Котов. - М.: Наука. Главная редакция физико-математической литературы, 1984. - 160 с.

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

34 Математическое моделирование в экономике: Учебное пособие. / Е.С. Кундышева; под науч. ред. проф. Б.А.Суслакова. - М.: Издательско-торговая корпорация «Дашков и К», 2005. - 352 с.

35 Моделирование систем: Учеб. для вузов / Б. Я. Советов, С. А. Яковлев -М.: Высш. шк, 2001.-343 с.

36 Нгуен Н. Т. Развитие методов анализа сетей Петри для распределенных систем: Дис. ... канд. физ.-мат. наук. М.: 1997. - 135 с.

37 Некоторые приемы параллельного программирования: Учебное пособие / И. Е. Федотов. - М.: Государственное образовательное учреждение высшего профессионального образования «Московский государственный институт радиотехники, электроники и автоматики (технический университет)», 2008. - 188 с.

38 Окунишникова, Е. В. Представление временных конструкций estelle в различных моделях временных сетей Петри / Е. В. Окунишникова - Институт систем информатики им. А. П. Ершова СО РАН, 1999. - 33 с.

39 Оно Т. Производственная система Тойоты. Уходя от массового производства / Пер. с англ. 3-е изд., перераб. и доп. - М.: Институт комплексных стратегических исследований, 2008. - 208 с.

40 Основные положения методики проведения функционально-стоимостного анализа: Методические рекомендации. - М. Информ-ФСА, 1991. - 40 с.

41 Основные положения методики проведения функционально-стоимостного анализа. М.: ГКНТ, 1982. - 16 с.

42 Петровский А. Б. Пространства множеств и мультимножеств. - М.: Едиториал УРСС, 2003. - 248 с.

43 Пентус, А. Е. Объектно-ориентированное представление иерархических сетей Петри / А. Е. Пентус, М. Р. Пентус // Фундаментальная и прикладная математика, том. 6. Московский государственный университет им. М. В. Ломоносова. - 2000. - № 3 - с. 831 -840.

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

45 Саркенов, Д. О. Применение сетей Петри при разработке протоколов / Д.О. Саркенов // Ползуновский альманах. - 2007 №3. - 82-83 с.

46 Синго С. Изучение производственной системы Тойоты с точки зрения огранизации производства / Пер. с англ. - М.: Институт комплексных стратегических исследований, 2006. - 312 с.

47 Современные технологии агрегатно-сборочного производства самолетов / Пекарш А. И., Тарасов Ю. М., Кривов Г. А. и др. М.: Аграф-пресс, 2006. - 304 с.

48 Сток, Дж. Р. Стратегическое управление логистикой / Пер. с. 4-го англ. изд. Дж. Р. Сток, Д. М. Ламберт, - М.: ИНФРА-М, 2005. - 797 с.

49 Теория автоматического управления: Учеб. пособие / Д. П. Ким - М.: Физматлит, 2004. - 464 с.

50 Технологические основы гибких производственных систем: Учеб. для машиностроит. спец. вузов/ В. А. Медведев, В. П. Вороненке, В. Н. Брюханов и др.; под ред. Ю. М. Соломенцева. - 2-е изд., испр. - М.: Высш. шк., 2000. - 255 с.

51 Технология сборки самолетов: Учебник для студентов авиационных специальностей вузов / В. И. Хухорев. - М.: Машиностроение, 1986. - 456 с.

52 Толстов, Е. В. Задачи моделирования потоков работ при помощи сетей Петри: Дис. ... канд. техн. наук. М.: 2006. - 146 с.

53 Толуев, Ю. И. Инженерные традиции в имитационном моделировании производственных и логистических систем / Ю. И. Толуев, Д. А. Иванов // ИММОД 2011, http://simulation.su/files/immod2011/та1епа1/8^£

54 Толуев, Ю. И.Применение имитационного моделирования для огистических процессов // Имитационное моделирование. Теория и практика: Сб.: ФГУП ЦНИИ ТС. 2005. С.71-76.

55 Толуев Ю. И. Имитационное моделирование логистических сетей // Логистика иуправление цепями поставок. 2/25 (2008). С 53-63.

56 Хоббс, Д. П. Внедрение бережливого производства: практическое руководство по оптимизации бизнеса / Денис П. Хоббс; пер. с англ П. В. Гомолко (гл. 1-3), А. Г. Петкевич; науч. ред Д. В. Середа. - Минск: Гревцов Паблишер, 2007. -352 с.

57 Чудайкина, С. А. Петри-сетевая модель логистической системы / С. А. Чудайкина // Тезисы докладов 11 -й Всероссийской межвузовской научно-технической конференции студентов и аспирантов «Микроэлектроника и информатика 2004», Зеленоград, 21-23 апреля 2004, М.: 2004. - стр.420.

58 Чурина, Т. Г. Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри / Т. Г. Чурина - Институт систем информатики им. А. П. Ершова СО РАН, 2000. - 36 с.

59 Шахов, В. Моделирование программно-аппаратных "реактивных" систем раскрашенными сетями Петри / В. Шахов // RSDN Magazine. - 2006. №3.

60 Шеер, А. В. Бизнес-процессы. Основные понятия. Теория. Методы / Пер. с англ. 2-е изд., испр. и доп. - М.: АОЗТ «Просветитель», 1999. - 206 с.

61 Шеер, А. В. Моделирование бизнес-процессов / Пер. с англ. - 2-е изд., испр. и доп. - М.: ООО «Издательство «Серебряные нити», 2000. - 206 с.

62 Экономико-математическое моделирование. Практическое пособие по решению задач. / И.В. Орлова - М.: Вузовский учебник, 2004. - 144 с.

63 Экономико-математические методы и прикладные модели: Учеб.пособие для вузов / В.В.Федосеев, А.Н.Гармаш, Д.М.Дайтбегов; под ред. В.В.Федосеева. -М.: ЮНИТИ, 2001.-391.

64 Adamski, М.А., Karatkevich, A.,Wegrzyn, M. (eds.): Design of Embedded Control Systems. Springer, Berlin (2005)

65 Billington, J.: ISO/IEC 15909-1:2004 Software and system engineering. Highlevel Pétri nets, Part 1 : Concepts, définitions and graphical notation, 2004

66 Billington, J., Diaz, M., Rozenberg, G. (eds.): Application of Pétri Nets to Communication Networks, vol. 1605. Springer, Berlin (1999)

67 Billington, J., Gallasch, G.E., Han, B.: A Coloured Petri Net approach to protocol verification. In: Desel, J., Reisig, W., Rozenberg,G. (eds.)Lectures onConcurrency and PetriNets. Advances in Petri Nets. In: Proceedings of 4th Advanced Course on Petri Nets, Lecture Notes in Computer Science, vol. 3018 pp. 210-290. Springer, Berlin (2004)

68 Christensen, S., Kristensen, L.M., Mailund, T.: Condensed state spaces for timed Petri Nets. In: Proceedings of International Conference on Application and Theory of Petri Nets. Lecture Notes in Computer Science, vol. 2075 pp. 101-120. Springer, Berlin (2001)

69 Desrochers, A.A., Al-Jaar, R.Y.: Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis. IEEE, (1994)

70 Examples of Industrial Use of CP-nets. http://www.daimi.au.dk/Cpnets/intro/example_indu.html

71 Gallasch, G.E., Kristensen, L.M.: COMMS/CPN: A Communication Infrastructure for External Communication with Design/CPN. In: Proceedings of Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB-554, pp. 75-91. Department of Computer Science, University of Aarhus, Denmark (2001)

72 Jensen, K.: Coloured Petri Nets. Basic concepts, analysis methods and practical use. Basic Concepts, vol. 1. Springer, Berlin (1992)

73 Jensen, K.: Coloured Petri Nets. Basic concepts, analysis methods and practical use. Analysis Methods, vol. 2. Springer, Berlin (1994)

74 Jensen, K.: Condensed state spaces for symmetrical Coloured Petri Nets. Formal Methods in System Design, vol. 9, (1996)

75 Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Practical use, vol. 3. Springer, Berlin (1997)

76 Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Modelling and Validation of Concurrent Systems. Springer Textbook (in preparation) Companion web site: www.daimi.au.dk/Cpnets/ cpnbook.

77 Jensen, K., Kristensen Kristensen, L.M.; Coloured Petri Nets Modelling and Validation of Concurrent Systems; Springer; 2009; 384;

78 Kristensen, L.M., Christensen, S., Jensen, K.: The Practitioner's Guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2(2), 98-132 (1998)

79 Kristensen, L.M., Jorgensen, J.B., Jensen, K.: Application of Coloured Petri Nets in System Development. In: Lectures on Concurrency and PetriNets. Advances in Petri Nets. Proceedings of 4th Advanced Course on Petri Nets. Lecture Notes in Computer Science, vol. 3098, pp. 626-685. Springer, Berlin (2004)

80 Kristensen, L.M., Mailund, T.: A DporpaMMDed sweep-line method for safety properties. In: Proceedings of Formal Methods Europe, Lecture Notes in Computer Science, vol. 2391, pp. 549-567. Springer, Berlin (2002)

81 Kristensen, L.M., Valmari, A.: Finding Stubborn Sets of ColouredPetriNetsWithout Unfolding. In: Proceedings of InternationalConferenceon Application and Theory of PetriNets. Lecture Notes in Computer Science, vol. 1420, pp. 104-123.Springer, Berlin (1998)

82 Lammers, J.O. The use of Petri net theory for Simplexys expert systems protocol checking / by J.O. Lammers. - Eindhoven: Eindhoven University of Technology, Faculty of Electrical Enginnering.

83 Object Management Group. Unified Modeling Language: Superstructure, version 2.0, formal/05-07-04, 2005 30. Proceedings of International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Springer, Berlin 1980-present

84 Proceedings of Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, 1998-present. http://www.daimi.au.dk/Cpnets/

85 Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, Berlin (1998)

86 Standard ML of New Jersey, http://www.smlnj.org

87 Ullman, J.D.: Elements of ML Programming. Prentice-Hall, Englewood Cliffs (1998)

88 Valmari, A.: The state explosion problem. In: Lectures on Petri Nets I: Basic Models. Lecture Notes in Computer Science, vol. 1491 pp. 429-528. Springer, Berlin (1998)

89 Yakovlev, A., Gomes, L., Lavagno, L.: Hardware Design and Petri Nets. Springer, Berlin (2000)

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