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

На правах рукописи

МАТУСОВ Константин Николаевич

ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ ДИСКРЕТНЫХ ТЕХНОЛОГИЧЕСКИХ СИСТЕМ ДЛЯ СИТУАЦИОННОГО УПРАВЛЕНИЯ ПРОИЗВОДСТВОМ ФУНКЦИОНАЛЬНЫХ УСТРОЙСТВ

Специальность: 05.13.06 - Автоматизация

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

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук

Воронеж - 2003

Работа выполнена в Воронежском государственном техническом университете

Научные руководители: доктор технических наук,

Защита состоится 26 декабря 2003 г. в часов в конференц-зале на заседании диссертационного совета Д 212.037.03 Воронежского государственного технического университета по адресу: 394026, Воронеж, Московский просп., 14

С диссертацией можно ознакомиться в библиотеке Воронежского государственного технического университета

профессор в в Сысоев

доктор технических наук, профессор

Бачурин Вячеслав Иванович

Официальные оппоненты: доктор технических наук,

профессор Бурковский Виктор Леонидович; кандидат технических на_, к Антиликаторов Александр Борисович

Ведущая организация ФГУП НИИЭТ (г. Воронеж)

Автореферат разослан « » ноября 2003 г.

Ученый секретарь у У ___„

диссертационного совета Родионов О.В.

2004-4 26782

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

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

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

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

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

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

Именно в этом направлении в данной работе рассматриваются вопросы,

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

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

Работа выполнена в соответствии с одним из основных научных направлений Воронежского государственного технического университета «САПР и автоматизация производства».

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

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

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

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

предложить структурную схему программной реализации имитационной модели дискретной технологической системы;

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

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

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

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

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

процедура и алгоритм построения математической модели инвариантного

! , АЧЛ;.>«'» !! .'и

» ^а-Но» > .,

' у '

модуля, основанные на логической схеме построения, структура имитационной модели дискретной технологической системе;

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

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

Практическая значимость работы и результатов внедрения. Разработанная логическая система формирования структуры имитационной модели и инвариантных модулей реализована при ситуационном управлении гибким автоматизированным участком сборки функциональных устройств цеха ОАО «Видеофон» по выпуску микро-ЭВМ и в ОАО «ВЭЛТ-Кинескоп» в сборке функциональных устройств телевизионных систем, что обеспечивает выпуск заданной номенклатуры изделий, заданного объема и качества за плановый промежуток времени при ограничениях на ресурсы.

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

Апробация работы. Основные научные результаты диссертационной работы докладывались и обсуждались на следующих конференциях и семинарах: XXXIX научной конференции (Воронеж, 2000); ХЬ научной конференции (Воронеж, 2001); научно-практической конференции «Актуальные проблемы научно-практических исследований и методологий» (Воронеж, 2002); II Всероссийской научно-технической конференции (Воронеж, 2002); «Интеллектуализация управления в социальных и экономических системах» (Воронеж, 2003); научно-методическом семинаре кафедры КИПР ВГТУ (Воронеж, 2002, 2003).

Публикации. По материалам диссертационной работы опубликовано 7 печатных работ. В работах, опубликованных в соавторстве и приведенных в конце автореферата, соискателем предложена методика построения имитационной модели дискретной технологической системы применительно к системе автоматизированного склада и оценки конфликтности вариантов принятия решений на основе сети Петри [1,3, 4]; изложены принцип и алгоритмы построения имитационной и динамической моделей функционирования дискретной технологической системы, рассмотрено применение их в прикладных задачах [5,6, 7].

Структура и объем работы. Диссертация состоит из четырех глав, заключения, изложенных на 122 страницах, списка литературы из 153 наимено-

ваний, содержит 27 рисунков и 7 таблиц.

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

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

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

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

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

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

мирования имитационных экспериментов с моделью.

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

Рис. 1. Структура трехуровневой, имитационной модели ДТС

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

Моге = FaTC (MJcy, Мпто, Мпт, МЛ 0)

где МасУ - имитационная модель (ИМ) автоматизированной системы управления (АСУ) ДТС; МП10 - ИМ автоматизированной подсистемы основного технологического оборудования; Мт - ИМ автоматизированной транспортной подсистемы; Мпс - ИМ автоматизированной складской подсистемы.

Модели подсистем Мптс, Мпг, Мпс, состоящие каждая из своей АСУ и автоматизированного оборудования, по аналогии с (1) , записываются как

M^F^M^MJ,] М„ =F„(M„2,M„), M^FJM^MJ,

где Масу - ИМ групповой АСУ автоматизированными технологическими операциями (АСУ1); Мто - ИМ технологических операций (ТО); Micy2 - ИМ групповой АСУ автоматизированным транспортом (АСУ2); М^ - ИМ автоматизированного транспорта (TP); Масу3 - ИМ АСУ автоматизированным складом (АСУЗ); Мрш - ИМ роботов-штабелеров склада (РШ).

(2)

В свою очередь имитационные модели оборудования подсистем технологических операций, транспорта и склада выражаются в виде..........M^txJ

где М''то - ИМ ¡,-й технологической операции, М'"тр ИМ i2-ro транспортного робота, М'^щ - ИМ ¡з-го робота-штабелера.

Подставив значения (2)-(3) в равенство (1) получим трехуровневую имитационную модель функционирования ДТС

Для построения Мдтс, в виде сети Петри, необходимо создать логическую

= ым^, F^iM^,. Fto(M;o> M'W>..., МЦ- )>, р^М^ЛДМ^М;.....м^)), (4)

схему получения структуры имитационной модели ДТС на основе дерева функций системы.

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

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

S0,< ¿| AfП(хц,*57)[xse]{А6А^/7(х8о,хвю)[*so]Sg0[хвю]

р10 Т'

Этот алгоритм позволяет представить иерархическую модульную структуру модели из элементов и подсистем ДТС.

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

Рис. 2. Логическая схема построения структуры имитационной модели ДТС в виде сети Петри, на основе дерева функций системы

Для определения структуры имитационной модели (ИМ), описывающей реализацию функции - цели „, рассматриваемой на ¡-м уровне иерархии в виде сети Петри, предлагаем за основу взять элементарные функции »») »1 л • определяющие Ц'^ „ и представляющие также фрагмент древовидной структуры. Этот фрагмент представляет собой п-ю подсистему ДТС, рассматриваемую на 1-м уровне иерархии и выполняющую функцию - цель Ц'^ ^ . ДТС. Для упрощения обозначений, переходы, описывающие элементарные функции - цели Ц' „, будем представлять в виде 1[л

С = ^ (О'. 31, ц\), о = Г7).(я = йш* = йк), (6)

где I - рассматриваемый уровень иерархии системы; I - количество уровней иерархии; N. - количество объектов 0'г в подсистеме ¡-го уровня; К\ - количество переходов в объекте п; З'п - задачи, решаемые имитационной моделью для объекта 0'н на ¡-м уровне иерархии; Ц'„ - функции, реализуемые п-й подсистемой на ¡-м уровне иерархии.

Каждому переходу 1'н ставится в соответствие множество входных позиций {/>;„,,} и множество выходных позиций {р'„„ь\ сети Петри:

р'ш, = п*, (С, г), (и «1, Л), (* -1. к; Ш -), Ро,^ = (С. «■).(» = йУ>,(* = Г*7),0 =

где Р = - множество позиций сети Петри ДТС, - множество вход-

ных позиций перехода , Ипк - множество выходных позиций перехода , т -модельное время, ^¿1к1(1м,г) и /\„,.(/„*,г) - операторы входа и выхода перехода

Условия срабатывания перехода , в общем случае, определяются атрибутами входных и выходных меток (входными и выходными переменными функции - цели Ц'п т ; (1, А я ) во входных и выходных позициях перехода и

их количеством:

где р(р'М/,т,\р(р'ом-г.) - количество меток во входных р'„м позициях перехода /'л после его срабатывания (п), !Л(р'Мп,г)!,(р^,г)| - множество атрибутов меток во входных и выходных позициях перехода до его срабатывания, (у = ) - количество атрибутов меток во входной позиции = -

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

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

'1

//(/>и, г) = М[пк1 ({А{р[пк^, г)}, {Л(/4,*,н г).

О \nkiw*

>

(8)

Мо = {/*<>.4,}-

(10)

Они определяются начальными условиями реализации функции — цели ДТС. Сеть Петри представляется в виде

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

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

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

Позиция р\к аР сети С = ЦС0,[)С',М,,.т) является Б-ограниченной (Б = 1,

»«I

2,...), если УМ^ = (Мк(р'л))с М(СУ,Мк(р'„)£ !. При $ = 1 позиция сети называется безопасной. В случае, когда все позиции безопасные, сеть С - безопасна. Сеть С называется ограниченной, если все ее позиции ограниченные.

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

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

конфликт определяется СП, в этом случае необходимо проверить соответствие модели исследуемой системе, рассмотреть другие варианты модели.

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

/

(И)

решением задач синхронизации событий.

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

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

i

разметки сети Петри Достижимой в СП С = (C„C„,(JC',A/„,r ) называется раз-

i

метка Л/, с М(С\ где М(С) - множество достижимостей разметки СП. Для ДТС это означает, возможно ли достичь определенной цели, в принципе, при заданных условиях и ограничениях, т.е. существует ли путь достижения цели. С другой стороны эта же ситуация определяется понятием живости СП. Сеть

с = (с.,с„.ис И„,г ) - живая, если все ее переходы живые. Переход <г_Т

называется живым, если для любой исходной разметке Мк с м(с) в сети, достижима разметка М с м(с.мк), при которой переход может сработать.

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

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

О

р>

а)

б)

Рис. 3. Возникновение конфликтов в СП: а) конфликт предусловий; б) конфликт постусловий

Два, или больше переходов находятся в конфликте предусловий, если:

П/(О*0.(г,еГ). (12)

Для конфликта постусловий, представленного на рис. 3. условие его возникновения определяется выражением:

П<Х',еГ). (13)

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

Введем определение основных понятий состояния, применимое к моделям, описываемым в виде СП. Состояние модели дискретной системы в момент времени г„ определяется ее динамическим портретом /г(г„).

Динамический портрет л(г„) ДТС представляет собой состояние множества позиций \р'ы,(?Лром{т*)\ сети Петри, определяющих выполнение переходов 1'„к е {г^} сети Петри в момент времени г„:

(14)

где (; = Г/)(" - = = = •

Множество переходов } сети Петри дискретной технологической системы состоит из множества переходов примитивных событий (ПС) {г,'"}, множества переходов начал непримитивных событий (НС) {г} и множества переходов окончаний непримитивных событий {/"}:

05)

С учетом особенностей позиций и переходов сети Петри, выражение (14) можно представить в виде:

я(*т)=я"(тт\}пи{тш\}п°(1т), (16)

где л-п(г„) = {ры,(О.Ро«&(г,,)} - позиции примитивных переходов,

- позиции непримитивных переходов,

л°(г„) = {р®, (г„,), р£к/ )} - позиции окончания непримитивных переходов, £====- -

Для реализации СП, в рамках разработанной в работе модели, на однопроцессорной ЭВМ предлагается алгоритм, осуществляющий параллельное выполнение переходов. Для корректного выполнения СП на однопроцессорной ЭВМ подробно проанализировано множество возможных реализаций переходов ДТС р(тт +Srm)= {r\t.} к множество условий, которые могут осуществить

эту реализацию e(tm +ör„)= {рЧ^. (г,„),р^.,.(тя)}.

В работе представлен общий алгоритм, отражающий динамический аспект модели ДТС. Для ш-го очередного события имеет место:

¿г^шт^Д^М); ) = arg min ({А Kt | \тт ));

) = argmin({A }, (г„ )}); arg min ({ir^ \

(17)

) = (г.

А rj ) = А (г ^ ) - ^. и

) * О};

При > г„а„ г^, - время окончания имитации, процесс моделирования заканчивается.

Для реализации динамической модели на однопроцессорной ЭВМ предлагается алгоритм организации параллельных событий, представленный на рис. 4.

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

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

Рис. 4. Организации параллельного выполнения событий на однопроцессорной ЭВМ

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

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

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

Построение имитационной модели функционирования участка сборки ФУ проводится в несколько этапов: изучение технологического процесса сборки ФУ, анализ применимости элементов на соответствие требованиям автоматизированной сборки, определение основных параметров технологических операций, время обработки одного магазина с ФУ на отдельных операциях; исследование схемы распределения движения изготавливаемых функциональных устройств по сборочным операциям; выявление особенностей используемого технологического оборудования, выполняющего сборочные операции и условий их выбора, дополнительные условия выбора; определение функций, структуры участка и составляющих его подсистем; выделение событий, происходящих в системе, условий их возникновения и причинно-следственных связей между ними; построение иерархической, имитационной модели функционирования ГАУ сборки ФУ на основе инвариантных модулей (рис. 6).

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

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

Рис. 6. Граф сети Петри ГАУ сборки ФУ (технологические операции)

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

АССУТП включена составной частью в автоматизированную систему управления гибкого автоматизированного участка сборки и испытаний микроЭВМ, в рамках которой решались задачи, реализующие конкретные последовательности операторов информационно-структурной модели:

1) настройка системы на технологический процесс сборки микро-ЭВМ

Т А„П Т 4- 5мАпАы ; АМ,

хчг хт

2) описания текущей ситуации при помощи функциональной модели

хт *1»

(Л, 4, Т {5Г20Л2оЛ21>С2 Т 1{5,8Л|8Л19МпЛг,*Л2чЛ2Л 1");

3) генерация решений по управлению путем имитации процесса функционирования (— ^ А21А29 Т ...)•

хт

Имитация процесса функционирования ТП применялась как для генерации вариантов управления, так и для составления сменно-суточного расписания функционирования ГАУ. Применение АССУТП позволило избежать ситуации полной остановки функционирования одних участков ГАУ при интенсивной загрузке других. Экстраполяция сгенерированных вариантов осуществляется ЛПР.

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

Для ситуаций, когда требуется максимальная быстрота имитации, была разработана упрощенная функциональная модель в виде модифицированной сети Петри (рис. 7).

и

Рис. 7. Упрощенная функциональная сетевая модель в виде модифицированной сети Петри Формирование фрагментов сетевой модели, описывающей функционирование цеха сборки микро-ЭВМ, выполняется при помощи программы РМСЮ1 в диалоговом режиме.

Описание текущей ситуации в цехе сборки микро-ЭВМ выполняется программой ШАЬЗ в два этапа: 1) коррекция информации из подбазы «Текущее состояние»; 2) опрос ЛПР о текущем состоянии цеха сборки микро -ЭВМ.

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

Генерация вариантов реализуется при помощи программы 81МЦЬ. При выполнении программы вначале загружается следующая информация: структура модели из подбазы «Сетевые модели»; текущее состояние цеха - из подбазы «Текущее состояние». После этого производится генерация нескольких различных вариантов управления. В ходе эксплуатации наблюдались следующие ситуации: интенсивная работа участка виброиспытаний при полной остановке участка сборки; недостаточное количество комплектов на складе; перегрузка работы участка ремонта; срывы графика поставки комплектующих и, как следствие, либо простой ГА У, либо ее полная загрузка.

Алгоритмы формирования и коррекции функциональной сетевой модели представлены в приложении.

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

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

2. Разработана системная модель дискретной технологической системы.

3. Предложена логическая схема построения структуры имитационной модели дискретной технологической системы.

4. Рассмотрена процедура и алгоритм построения математической модели инвариантного модуля.

5 Изложен метод построения динамической модели функционирования дискретной технологической системы.

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

7. Разработанная логическая система формирования структуры имитационной модели и инвариантных модулей реализована при ситуационном управлении гибким автоматизированным участком сборки функциональных устройств цеха по выпуску микро-ЭВМ, что обеспечивает выпуск заданной номенклатуры изделий, заданно! о объема и качества за плановый промежуток времени при ограничениях на ресурсы.

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

1 Голиков В К , Баркалов В А , Матусов К H Модель функционирования автоматизированного склада в виде сети Петри // Материалы XXXIX отчетной научной конференции за 2000 год Воронеж гос технол акад Воронеж, 2001 Ч 2 308 с С 59-64

2 К Matusow Die modelhening der Petri-Netze der konfliktsituonen // Акгуальные проблемы научно-практических исследований и методологий Материалы научно-практической конференции на иностранных языках Воронеж ВГТА, 2002 С 43-44

3 Голиков В К , Матусов К H Матричная форма представления конфликта в сетях Петри // Материалы XL отчетной научной конференции Воронеж ВГТА, 2001 Ч 2

4 Голиков В К , Матусов К Н Анализ матричной формы сети Петри // Теория конфликта и ее приложения Труды II Всероссийской научно-технической конференции Воронеж, 2002 Ч 2 С 164-165

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

6 Голиков В К , Матусов К Н Структурная модель автоматизированной системы ситуационного управления технологическими процессами // Интеллектуальные информационные системы Тр Всерос конф Ч 1 Воронеж ВГТУ, 2003 С 7-8

7 Голиков В К , Матусов К Н Оценка проведения имитационной модели функционирования дискретной технологической системы с помощью характеристик сети Петри // Интеллектуальные информационные систем Тр Всерос кош) Ч 1 С

Основное содержание диссертации опубликовано в следующих работах

С 21-22

19-21

ЛР № 066815 от 25.08.99. Подписано в печать 15.11.2003. Формат 60x84/16. Бумага для множительных аппаратов.

Усл. печ. л. 1,0. Тираж 85 экз. Зчл.^Адб.

i. 15 9 9

РНБ Русский фонд

2004-4 26782

ВВЕДЕНИЕ

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

1.1. Особенности дискретных технологических систем

1.2. Анализ функционирования и методы моделирования дискретных технологических систем

1.3. Цель и задачи исследования

2. РАЗРАБОТКА СТРУКТУРЫ ИМИТАЦИОННОЙ МОДЕЛИ ФУНКЦИОНИРОВАНИЯ ДИСКРЕТНОЙ ТЕХНОЛОГИЧЕСКОЙ СИСТЕМЫ НА ОСНОВЕ СЕТЕЙ ПЕТРИ

2.1. Системная модель дискретной технологической системы

2.2. Логическая схема построения структуры имитационной модели дискретной технологической системы

2.3. Структура и математическая модель инвариантного модуля 66 Выводы второй главы

3. РАЗРАБОТКА ДИНАМИЧЕСКОЙ ИМИТАЦИОННОЙ МОДЕЛИ ФУНКЦИОНИРОВАНИЯ ИЕРАРХИЧЕСКОЙ ДИСКРЕТНОЙ ТЕХНОЛОГИЧЕСКОЙ СИСТЕМЫ НА ОСНОВЕ ИНВАРИАНТНЫХ МОДУЛЕЙ

3.1. Анализ и особенности реализации динамической модели

3.2. Метод построения динамической модели функционирования дискретной системы

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

4. РЕАЛИЗАЦИЯ И АПРОБАЦИЯ РЕЗУЛЬТАТОВ ИССЛЕДОВАНИЯ

4.1. Формирование структуры гибкого автоматизированного участка сборки функциональных узлов

4.2. Экспериментальное исследование конфликтующих вариантов технологических структур участка сборки функциональных устройств

4.3. Апробация системы в условиях производства 111 ЗАКЛЮЧЕНИЕ 12 0 УСЛОВНЫЕ ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ 121 СПИСОК ЛИТЕРАТУРЫ 123 ПРИЛОЖЕНИЕ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Апробация работы. Основные научные результаты диссертационной работы докладывались и обсуждались на следующих конференциях и семинарах: XXXIX научной конференции (Воронеж, 2000); ХЬ научной конференции (Воронеж, 2001); научно-практической конференции «Актуальные проблемы научно-практических исследований и методологий» (Воронеж, 2002); II Всероссийской научно-технической конференции (Воронеж, 2002); «Интеллектуализация управления в социальных и экономических системах» (Воронеж, 2003); научно-методическом семинаре кафедры КИПР ВГТУ (Воронеж, 2002, 2003).

Публикации. По материалам диссертационной работы опубликовано 7 печатных работ.

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

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

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

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

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

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

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

Выводы третьей главы

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

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

4. РЕАЛИЗАЦИЯ И АПРОБАЦИЯ РЕЗУЛЬТАТОВ ИССЛЕДОВАНИЯ

4.1. Формирование структуры гибкого автоматизированного участка сборки функциональных узлов

Рассмотрим применение разработанной логической схемы построения структуры имитационной модели, инвариантных модулей на примере функционирования ДТС в виде гибкого автоматизированного участка (ГАУ) сборки функциональных устройств (ФУ) цеха по выпуску микро-ЭВМ [43]. Структура ГАУ сборки функциональных устройств представлена на рис. 4.1.

Основная цель ГАУ сборки ФУ - выпуск заданной номенклатуры изделий, заданного объема и качества за плановый промежуток времени, при заданных ограничениях на ресурсы.

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

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

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

АСС~! АСС-3

П П в магазине

Комплектующие Ш

Установка ИС в МКК Ш

Установка конденсаторов Ш

Установка резисторов из

Установка ИС в МКК иб Установка ИС в МКК

115 Установка ИС в МКК

117 Установка ИС в МКК

Установка ИС в Р!Р корпусе й2 Установка ИС в Э1Р корпусе

РЗ Установка ИС в Р1Р корпусе

Я1 Установка ЭРЭ с од. выв

3 «=1 Выгрузка ФУ

3 Я Ремонт

Приемосдаточные испытания

Электротермотре-ннровка йЗДЯ

Функциональный контроль

I—•

5 а Внутрисхемный контроль

5 « Внутрисхемный анализ

Г'Р1ы | з р Виброиспытания

5 Термоцикли-рование р ^ 1 з р по, I з г5 Установка ЭРЭ с ос. выв ЕЗ

Установка ЭРЭ с ос. выв Е2 р 3 Установка ЭРЭ с ос. выв Е1

Установка 1ЭРЭсод. выв

Я2

АСС-2 ' АСС-4

Рис. 4.1. Структура участка ГАУ сборки функциональных устройств

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

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

На рис. 4.2 представлена структурно-технологическая схема исследуемого производства. Сначала производится комплектование технологических комплектов для сборки изделий и заполнение ими контейнеров, которые затем поступают на склад, а далее по мере необходимости на участок сборки ФУ, который состоит из пятнадцати ГПМ. После сборки изделия отправляются на рабочие технологические комплексы теомоциклирования и виброиспытания. Далее производится контроль, в результате которого брак отправляется на участок ремонта, а исправные изделия - на электротермотренировку. ФУ, прошедшие электротермотренировку, подаются на линию функционального контроля. Исправные изделия, прошедшие функциональный контроль, проходят приемосдаточные испытания, неисправные передаются на ремонт и далее на первичную проверку.

Рис. 4.2. Структурно-технологическая схема производства функциональных устройств ПЭВМ

Участок оборудован четырьмя ЭВМ, среди которых центральная отслеживает текущее состояние оборудования и в конце смены выводит результаты работы производства для ЛПР по следующим формам:

1) текущее состояние участка сборки функциональных узлов ЭВМ; тип ФУ; код модели ФУ; месячный план; выполнение плана с начала месяца; дневной план; сменный план; выход со склада; выход годных изделий с участка сборки; поступление изделий на упаковку; количество изделий, прошедших ремонт;

2) состояние склада: тип ФУ; код модели; наличие на складе;

3) состояние комнаты термоиспытаний: координаты ячейки (конвейнер, этаж, позиция); тир модели ФУ; код модели; дата и время загрузки и выгрузки из комнаты.

Эта информация поступает от ЭВМ управляющих работой технологического оборудования, транспорта и склада.

Построение имитационной модели функционирования участка сборки ФУ, описанных выше, происходит в несколько этапов:

1) изучение технологического процесса сборки ФУ; анализ применимости радиоэлементов на соответствие требованиям автоматизированной сборки представлен в табл. 4.1; определение основных параметров технологических операций, время обработки одного магазина с ФУ на отдельных операциях (табл. 4.2);

2) исследование схемы распределения движения изготавливаемых функциональных устройств по сборочным операциям (рис. 4.3);

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

- производительность 1,5 тыс.элем./час,

- габаритные размеры 1111 min 200x130 мм; тах 410x270 мм,

- возможность выстраивания в автоматическую линию,

ЗАКЛЮЧЕНИЕ

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

2. Разработана системная модель дискретной технологической системы.

3. Предложена логическая схема построения структуры имитационной модели дискретной технологической системы.

4. Рассмотрена процедура и алгоритм построения математической модели инвариантного модуля.

5. Изложен метод построения динамической модели функционирования дискретной технологической системы.

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

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

УСЛОВНЫЕ ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ

ТП - технологический процесс

ДТС - дискретная технологическая система

ГПС - гибкая производственная система

НП - непрерывное производство

ДП - дискретное производство

МТП - маршрутный технологический процесс

ЭС - экспертная система

ССУ - система ситуационного управления

ИИ - искусственный интеллект

АССУТП - автоматизированная система ситуационного управления технологическим процессом

ПС - производственная система

УВМ - управляющая вычислительная машина

РСК - роботизированный склад

ОС - операционная система

ФУ - функциональный узел

АС - автоматизированный склад

АСУ СО - локальная система управления складским оборудованием ГАУ ФУ - гибкий автоматизированный участок сборки функциональных устройств

ГПМ - гибкий производственный модуль

ИС - информационная система

ЛПР - лицо, принимающее решение

СП - сети Петри

ИМ - имитационная модель

ПС - примитивные события

НС - непримитивные события

ДС - диалоговая система

ДФ - дерево функций

ЛСА - логическая схема алгоритмов

ТЗ - техническое задание

ЭФ - элементарные функции

МТП - маршрутные технологические процессы

ГАП - гибкое автоматизированное производство

УВМ - управляющая вычислительная машина

ОТК - отдел технического контроля

УВС - управляющая вычислительная система

АРМ - автоматизированное рабочее место

БД - банк данных

ТО - технологическая операция

ЭТО - элементы технологического процесса

АТСС - автоматизированная транспортно-складская система

1. Аврамчук Е.Ф., Приваленков Б.П., Фомин Б.Ф. Машинные эксперименты с имитационными моделями АСУ технологических линий дискретного производства / Ленингр.электротехн.ин-т. Л., 1977.

2. Аврамчук Е.Ф., Фомин Б.Ф. Системное моделирование как машинный метод исследования сложных систем управления // Изв. ЛЭТИ. Научн.тр. Л: ЛЭТИ им. В.И. Ульянова (Ленина). 1981. Вып. 287. С. 12-18.

3. Автоматизация дискретного производства / Б.Е.Бонв, Г.И.Бохачев, И.К. Бояджиев и др.; Под общ.ред. Е.И. Семенова, Л.И. Волчкевича. М.: Машиностроение, 1987; София: Техника, 1987. 376 с.

4. Автоматизированный тестовый контроль производства БИС / С.С. Булгаков, Д.Б. Десятов, С.А. Еремин, В.В. Сысоев. М.: Радио и связь, 1992. 192 с.

5. Автоматизированное управление технологическими процессами: Учеб.пособие / Н.С. Зотов, О.В. Назаров, Б.В. Петелин, В.Б. Яковлев, Под ред. Яковлева В.Б. Л.: Издательство Ленинградского университета, 1988. 224 с.

6. Алиев P.A. Производственные системы с искусственным интеллектом / P.A. Алиев, Н.М. Абдикеев, М.М. Шазназаров. М.: Радио и связь, 1990. 264 с.

7. Анализ и обработка данных в диалоговых системах имитации / Под ред.чл.-кор. АН СССР A.A. Вавилова. JL: ЛЭТИ им. В.И. Ульянова (Ленина), 1979. 76 с.

8. Анализ и моделирование производственных систем / Б.Г. Тамм, М.Э. Пуусепп, P.P. Таваст, под общ.ред. Б.Г. Тамма. М.: Финансы и статистика. 1987. 191 с.

9. Арбузов С.П., Степанищев В.А., Голиков В.К. Задачи автоматизации проектирования ГПС. Воронеж, 1987. 19 с. деп. В ЦНИИТЭИ приборостроения 9.11.87.№4015-пр. 87.

10. Автоматизация управления / В.А. Абчук, А.Л. Лифшиц, A.A. Федулов, Э.И. Кутина; Под ред. В.А. Абчука. М.: Радио и связь, 1984. 264 с.

11. Автоматизация управления в гибких производственных системах / Ю.П. Шкуркин,А.З. Брискин, Г.И. Калитин. К.: Техника, 1988. 182 с.

12. Анисимов П.А., Маринук М.Н. Системы оперативного управления дискретными производствами. Кишинев: Штиница, 1984. 174 с.

13. Баер Ж.Л. Методы исследования параллелизма // Системы параллельной обработки. М.: Мир, 1985. С. 80-105.

14. Балашов Е.П. Эволюционный синтез систем. М.: Радио и связь, 1985.328 с.

15. Белман Р., Калаба Р. Динамическое программирование и современная теория управления. М.: Наука, 1969. 120 с.

16. Болотова JI.C. Системы ситуационного управления. Состояние и перспективы развития: В кн.: Моделирование и искусственный интеллект: меж-вуз.сб.науч.тр. / МИРЭА. М., 1988. С. 38-46.

17. Бондаренко A.B. Эвристические подходы к решению задач календарного планирования // Автоматизированные системы управления предприятием. Киев: ИК АН УССР, 1968. С. 28-35.

18. Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1978.400 с.

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

20. Вавилов A.A. Структурный и параметрический синтез сложных систем. Л.: ЛЭТИ им. В.И. Ульянова (Ленина), 1979. 96 с.

21. Вальденберг Ю.С., Дементьев В.А., Левитан Г.И., Марьенко А.Ф. Ситуационное управление технологическими процессами // Вопросы кибернетики. Выпуск 14. Ситуационное управление. Теория и практика. Часть 2. М.: Советское радио. 1975. С. 97-107.

22. Вишняков H.A. Об одном типе ситуационных моделей принятия решений // Вопросы кибернетики. Выпуск 68. Ситуационное управление. Теория и практика. М.: ВИНИТИ, 1980. С. 85-94.

23. Волобоев Б.А. Древовидно-сетевой поход к разработке программного обеспечения // Управляющие системы и машины. 1984. № 3. С. 51-56.

24. Вунш Г. Теория систем. М.: Сов.радио, 1978. 288 с.

25. Гибкие производственные системы изготовления РЭА / А.И. Артемьев, В.П. Ковешников, М.С. Лапин и др. М.: Радио и связь, 1990. 240 с.

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

27. Гибкое автоматическое производство / Под ред. С.А. Майорова, Г.В. Орловского, С.Н. Халкионова. 2-е изд.доп. и перераб. Л.: Машиностроение. 1985.454 с.

28. Голиков В.К., Кульнев С.С., Сысоев В.В. Имитационное моделирование транспортно-складской системы ГАП сборки // Тез. докл.научно-технического семинара «Системное проектирование гибких автоматизированных производств». Владимир: ВПИ, 1988. С. 28-29.

29. Голиков В.К., Арбузов С.П., Степанищев В.А. Одношаговый алгоритм управления участком мелкосерийного производства // Специальное математическое и программное обеспечение САПР: Межвуз.сб.науч.тр. Воронеж, 1987. С. 144-147.

30. Голиков В.К., Кульнев С.С., Осис А.И. Анализ возможностей применения сетей Петри для имитационного моделирования сборочного производства // Выбор и принятие решений в САПР. Межвуз.сб.науч.тр. Воронеж: ВТИ, 1989. С. 89-92.

31. Голиков В.К. Исследование динамики особых состояний дискретных систем // Математическое моделирование технологических систем. Воронеж: ВГТА, 1999. Вып. 3. С. 3-9.

32. Голиков В.К., Баркалов В.А., Матусов К.Н. Модель функционирования автоматизированного склада в виде сети Петри // Материалы XXXIX отчетной научной конференции за 2000 год. Воронеж.гос.технол.акад. Воронеж, 2001. Ч. 2. 308 с. С. 59-64.

33. Голиков В.К., Матусов К.Н. Матричная форма представления конфликта в сетях Петри // Материалы XL отчетной научной конференции за 2001 год. Воронеж.гос.технол.акад. Воронеж, 2002. Ч. 2.312 с. С. 21-22.

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

35. Довбня Н.М. и др. Роботизированные технологические комплексы в ГПС / Н.М. Довбня, А.Н. Кондратьев, Е.И. Юревич. JL: Машиностроение, Jle-нингр.отд-ние, 1990. 303 с.

36. Дружинин В.В., Конторов Д.С. Системотехника. М.: Радио и связь, 1985.200 с.

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

38. Загадская Л.С., Лозовский B.C., Сокольников А.И., Горячук В.Ф. Реализация базовых процессов в системе ситуационного управления // Вопросы кибернетики. Выпуск 68. Ситуационное управление. Теория и практика. М.: ВИНИТИ, 1980. С. 94-108.

39. Зак Ю.А. Определение порядка выполнения независимых операций на параллельных машинах // Изв. АН СССР: Техн.Кибернетика, 1969. № 2. С. 1520.

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

41. Жолондзь В.А. Использование закономерностей времени и действия в ситуационном управлении дискретными объектами // Вопросы кибернетики. Выпуск 68. Ситуационное управление. Теория и практика. М.: ВИНИТИ, 1980. С. 60-69.

42. Ивашко И.И. Создание и применение средств механизации и автоматизации ПРТС работ // Промышленный транспорт, 1988. № 9.

43. Иглхарт Д.Л., Шедлер Д.С. Регенеративное моделирование сетей массового обслуживания: Пер.с англ. М.: Радио и связь, 1984. 136 с.

44. Ильевский В.З., Беспалова B.C., Стрижков Г.М. Проектирование автоматизированных систем диспетчерского управления. Л.: Машиностроение. Ленингр.отделение, 1981. 160 с.

45. Имитационное моделирование производственных систем / Под ред. A.A. Вавилова. М.: Машиностроение, Берлин: Ферлаг Техник, 1983.416 с.

46. Киндлер Е. Языки моделирования: Пер.с чешек. М.: Энергоатомиздат, 1985.288 с.

47. Клир Дж. Наука о системах: новое измерение науки. Системные исследования // Методологические проблемы. Ежегодник, 1983. М.: Наука, 1983. С. 61-84.

48. Клир Дж. Системология. Автоматизация решения системных задач.

49. Пер. с англ. М.: Радио и связь, 1990. 544 с.

50. Конвей Р., Максвелл В., Миллер JI. Теория расписаний: Пер. с англ. / Под ред. Г.П. Башарина. М.: Наука, 1975. 359 с.

51. Корбут A.A., Финкелынтейн Ю.Ю. Приближенные методы дискретного программирования // Изв. АН СССР: техн.кибернетика, 1963. № 1. С. 165176.

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

53. Крейн М., Лемуан О. Введение в регенеративный метод анализа моделей. М.: Наука, 1982. 104 с.

54. Кузьмук В.В. Анализ и синтез управляющих и безопасных сетей петри // Препринт. Ин-т проблем моделирования в энергетике АН УССР. 1987. № 105.С. 1-54.

55. Кульнев С.С., Арбузов С.П., Колбенков A.A., Голиков В.К. Пакет программных модулей для выбора оптимальной структуры ГАЛ // Математическое и машинное моделирование. Материалы научной конференции. Воронеж: ВПИ, 1988. С. 85-87.

56. Лапин М.С., Меткин Н.П. Методология технологического проектирования ГАП сборки и монтажа РЭМ-1 // Современные проблемы проектирования и технологии производства РЭА. Л.: ЛДНТП, 1984. С. 19-25.

57. Лапин М.С., Критский В.М. Основные концепции создания ГПС сборки и монтажа радиоэлектронных модулей первого уровня разукрупнения РЭА // Интегрированные производственные комплексы в радиоэлектронике и приборостроении. Л.: ЛДНТП, 1986. С. 24-28.

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

59. Левиатов А.Ю., Айзикович A.A. Ситуационное управление на предприятии // Изв. АН СССР. Техническая кибернетика, 1973. № 3. С. 9-13.

60. Левиатов А.Ю. Модель объекта в системе ситуационного управления предприятием // Вопросы кибернетики. Выпуск 14. Ситуационное управление. Теория и практика. Часть 1. М.: Сов.радио. 1975.

61. Левиатов А.Ю., Захаров В.Н., Немцов М.П., Почерняев С.В. Информационное обеспечение системы ситуационного обеспечения на предприятии И Вопросы кибернетики. Выпуск 14. Ситуационное управление. Теория и практика. Часть 2. М.: Сов.радио. 1975. С. 152-154.

62. Левиатов А.Ю. Классификатор в системе ситуационного управления на предприятии // Вопросы кибернетики. Выпуск 14. Ситуационное управление. Теория и практика. Часть 2. М.: Советское радио, 1975. С. 148-156.

63. Линский B.C., Кирнеев М.Д. Составление оптимальных расписаний для параллельно действующих процессов // Изв. АН СССР: Техн.кибернетика. 1972. №3. С. 160-167.

64. Логачев В.Г. Технологические основы гибких автоматических производств. Л.: Машиностроение, Ленингр.отделение. 1985. 176 с.

65. Максимей И.В. Имитационное моделирование на ЭВМ. М.: Радио и связь, 1988.232 с.

66. Маликов О.Б. Проектирование автоматизированных складов штучных грузов. Л.: Машиностроение. 1981. 240 с.

67. Маликов О.Б., Малкович А.Р. Склады промышленных предприятий: Справ. / Под общ.ред. О.Б. Маликова. Л.: Машиностроение, Ленингр.отд-ние, 1989. 672 с.

68. Мартин Дж. Планирование развития автоматизированных систем / Пер с англ. М.: Финансы и статистика, 1984. 196 с.

69. Машинный эксперимент, анализ и обработка данных в диалоговых системах имитации: Учебн.пособие / Е.Ф. Аврамчук, A.C. Бачурин, А.Е. Исаев, Т.Л. Качанова и др. / Под ред. чл.-корр. АН СССР A.A. Вавилова. Л.: ЛЭТИ, 1979. 75 с.

70. Месарович М., Такахара Я. Общая теория систем: математические основы / Пер. с англ. М.: Мир, 1978. 341 с.

71. Меткин И.Л., Лапин М.С., Клейменов С.А., Критский В.М. Гибкие производственные системы. М.: Изд.стандартов, 1989. 312 с.

72. Модели оперативного управления в дискретном производстве / Л.И. Смоляр. Серия «Теория и методы системного анализа». М.: Наука, Главная редакция физико-математической литературы, 1978. 320 с.

73. Моделирование дискретных параллельных процессов управления с помощью сетей Петри / В.А. Васильев, В.В. Кузьмук, Г. Майер, С. Фенч // Электронное моделирование, 1986. Т. 8. № 2. С. 10-13.

74. Назаренков В.М., Кульба A.B. Использование модифицированных сетей Петри для имитационного моделирования гибкого автоматизированного производства // Проблемы создания гибких автоматизированных производств. М.: Наука, 1987. С. 56-62.

75. Николаев В.И., Брук В.М. Системотехника: методы и приложения. Л.: Машиностроение, Ленингр.отд-ние, 1985. 199 с.

76. Опыт проектирования и эксплуатации автоматизированных транс-портно-складских комплексов за рубежом // Обзорная информация. Сер. № 4. Материально-техническое снабжение. 1986. Вып. 3.

77. О разработках экспертных систем / Е.В. Маркова // Приборы и системы управления. 1989. № 1. С. 1-3.

78. Основы создания гибких автоматизированных производств / Под ред. Б.Б. Тимофеева. К.: Техника, 1986. 144 с.

79. Панадимитрту X., Стайглиц К. Комбинаторная оптимизация. Алгоритмы сложности: Пер. с англ. М.: Мир, 1985. 512 с.

80. Перегудов Ф.И., Тарасенко Ф.П. Введение в системный анализ: учебн.пособие для вузов. М.: Всш.шк., 1989. 367 с.

81. Перовская Е.И., Фетисов В.А. Автоматизация гибких дискретных систем. JL: Издательство Ленинградского университета, 1989. 160 с.

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

83. Планирование и управление в автоматизированном производстве / В.В. Шкурба, С.А. Белецкий, К.Ф. Ефетова и др. Киев: Наукова Думка, 1985. 224 с.

84. Подвальный С.Л., Бурковский В.Л. Имитационное управление технологическими объектами с гибкой структурой. Воронеж: Изд-во ВГУ, 1988. 168 с.

85. Пожидаев В.Г. Формирование макроописания системы и его использование в ситуационной модели оперативного планирования // Вопросы кибернетики. Выпуск 68. Ситуационное управление. Теория и практика. М.: ВИНИТИ, 1980. С. 131-142.

86. Пономарев В.Ф., Колесников A.B., Кириков И.А. Об одном подходе в семиотическом моделировании состояния транспортных систем // Вопросы киебернетики. Выпуск 68. Ситуационное управление. Теория и практика. М.: ВИНИТИ, 1980. С. 109-130.

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

88. Поспелов Г.С., Поспелов Д.А. Искусственный интеллект — прикладные системы. М.: Знание, 1985. 48 с.

89. Представление и использование знаний: Пер. с япон. / Под ред. X. Уэно, М. Исудзука. М.: Мир, 1989. 220 с.

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

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

92. Рихтер К. Динамические задачи дискретной оптимизации: Пер. с нем. М.: Радио и связь, 1985. 136 с.

93. Розенблюм А.Я. Сети Петри // Изв. АН СССР: Техн.кибернетика, 1983. №5. С. 198-210.

94. Рыбкин Л.В., Кобзарь Ю.В., Демин В.К. Автоматизация проектирования систем управления сетями связи. М.: Радио и связь. 1990. 208 с.

95. Савчук Л.Г., Сирота A.A., Курнаков В.Б. Ситуационное управление аэропортом на уровне диспетчера // Вопросы кибернетики. Выпуск 14. Ситуационное управление. Теория и практика. Часть 2. М.: Советское радио. 1975. С. 140-148.

96. Системное проектирование радиоэлектронных предприятий с гибкой автоматизированной технологией / В.Н. Волкова, А.П. Градов, A.A. Денисов и др.; Под ред. В.А. Мясникова и Ф.Е. Темникова. М.: Радио и связь, 1990. 296 с.

97. Системы управления ГАП в приборостроении / Н.П. Стародуб, В.М. Дани люк, А.П. Галена и др. К.: Техника, 1984.40 с.

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

99. Смирнов A.M. Математическая модель объемного календарного планирования технологически зависимых операций // Автоматика и телемеханика. 1985. № 10. С. 109-115.

100. Советов Б.Я., Цехановский В.В. Автоматизированное управление современным предприятием. Л.: Машиностроение. Ленингр.отделение, 1988. 168 с.

101. Советов Б.Я., Яковлев С.А. Моделирование систем: Учеб.для вузов по спец. «Автоматизированные системы обработки информации и управления». 2-е изд., перераб.и доп. М.: Высш.шк., 1998. 319 с.

102. Соломенцев Ю.М., Басин A.M., Климов C.B. Ситуативное проектирование технологических процессов в ГАЛС // Вестник машиностроения, 1984. №3. С. 47-50.

103. Спиваковский А.О., Дьячков В.К. Транспортирующие машины. М.: Машиностроение, 1983. 487 с.

104. Степанищев В.А., Арбузов С.П., Голиков В.К. Одношаговый алгоритм управления участком мелкосерийного производства // Специальное математическое и программное обеспечение САПР: Межвуз.сб.науч.тр. Воронеж,1987. С. 144-147.

105. Степанищев В.А., Сысоев В.В., Голиков В.К. Векторная оптимизация управления ГПС на сетях Петри // Тез.докл.науч.-техн.семинара «Системное проектирование гибких автоматизированных производств». Владимир: ВПИ,1988. С. 33-34.

106. Сысоев В.В. Системное моделирование многоцелевых объектов // Методы анализа и оптимизации сложных систем. М.: ИФТП, 1993. С. 80-88.

107. Сысоев В.В. Некоторые вопросы анализа конфликта в структурном представлении систем. Воронеж: ВГТА. Информационные технологии и системы. № 2, 1977. С. 54-60.

108. Сысоев В.В. Структурные и алгоритмические модели автоматизированного проектирования производства изделий электронной техники. Воронеж: ВТИ, 1993. 207 с.

109. Сысоев В.В. Определение конфликта функционирующих систем // Математическое моделирование технологических систем. Воронеж: ВГТА, 1996. С. 3-9.

110. Сысоев В.В. Автоматизированное проектирование линий и комплексов оборудования полупроводникового и микроэлектронного производства. М.: Радио и связь, 1982. 120 с.

111. Сысоев В.В. Исследование, разработка структурных и алгоритмических моделей автоматизированного проектирования линий, комплектов оборудования полупроводникового и микроэлектронного производства / Дисс.докт.техн.наук. Воронеж, ВТИ. 1984.424 с.

112. Танаев B.C., Шкурба B.B. Введение в теорию расписаний. M.: Наука, 1975. 256 с.

113. Теория расписаний и вычислительные машины / Под ред. Э.Г. Коффмана: Пер. с англ. / Под ред. Б.А. Головкина. М.: Наука. Гл.ред.физ.-мат.лит., 1984. 333 с.

114. Технология системного моделирования / Е.Ф. Аврамчук, A.A. Вавилов, C.B. Емельянов и др. Под общ.ред. C.B. Емельянова и др. М.: Машиностроение. Берлин: Техник, 1988. 520 с.

115. Типовые системы управления автоматизированным складом и транс-портно-накопительными средствами // Ю.Б. Чайковский, Б.В. Шиян, О.П. Кап-пенко, О.Ф. Товпеко // Средства связи. 1985. № 3. С. 63-65.

116. Томпсон Дж., Мут Дж.Ф.Календарное планирование: Пер.с англ. / Под ред. В.В. Головинского. М.: Прогресс, 1966.466 с.

117. Транспортно-накопительные системы для ГПС / В.А. Егоров, В.Д. Лузанов, С.М. Щербаков. Л.: Машиностроение. Ленингр.отд-ние, 1989.293 с.

118. Уотермен Д. Руководство по экспертным системам: Пер. с англ. М.: Мир, 1989. 388 с.

119. Управление ГПС: Модели и алгоритмы / Под ред. C.B. Емельянова. М.: Машиностроение, 1989. 364 с.

120. Филонов Н.Г., Голиков В.К., Сысоев Д.В. Автоматизированная система имитационного моделирования дискретных технологических систем // Материалы Центра научно-технической информации. Воронеж: ЦНТИ, 1988. 2 с.

121. Финкельштейн Ю.Ю. Приближенные методы и прикладные задачи дискретного программирования. М.: Наука, 1976. 264 с.

122. Форд Л.Р., Фалкерсон Д.Р. Потоки в сетях. М.: Мир, 1966. 214 с.

123. Хейсс Рот Ф., Уотермен Д., Ленат Д. Построение экспертных систем. Пер. с англ. М.: Мир, 1987. 430 с.

124. Чоговадзе Г.Г. Автоматизация проектирования систем оперативного управления технологическими процессами. М.: Энергия, 1980. 288 с.

125. Чудаков А.Д. Системы управления гибкими комплексами механообработки. М.: Машиностроение, 1990. 240 с.

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

127. Шрайбер Т. Дж. Моделирование на GPSS: Пер. с англ. / Под ред. М.А. Файнберга. М.: Машиностроение, 1980. 592 с.

128. Экспертные системы и системы ситуационного управления / JI.C. Болотова // Приборы и системы управления. 1989. № 1. С. 6-7.

129. Экспертные системы. Принципы работы и примеры. Пер. с англ. / А. Брукинг, П. Джонс, Ф. Кокс и др.; Под ред. Р. Форсайта. М.: Радио и связь, 1987. 224 с.

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

131. Artificial Intelligence in Manufacturing: Forecast for the Use of Artificial Intellegence in the USA//Robotics, 1986, 2. P. 357-362.

132. Kirutly G. Assessment of the Application of Expert Systems in Flexible Manufacturing // North-Holland Robotics, 1986, 2. P. 313-321.

133. Kocsis J., Fetyiszov V Rugalmas automatizals gyartas: a megbizhatosag becslesde idoleges tobblet eseten // Finommechanika. Mikrotechnika. 1984. № 9.

134. Multi — robot cell controller using an expert systems approach //16 International Symposium on Industrial Robots. 30.09-2.10.1986, Brussels. P. 229-236.

135. Modie C. Z., Ben Arieh D. Strategies for material transportation in computer integrated manufacturingenviroment // Proc. 5 th. Intern. Conf. Flexible Manufacturing Systems, 1986, November. P. 235-246.

136. Sifacis J. Use of Petri nets for performance evaluation // Acta cybernetica. 1979. Vol. 4. № 2. P. 129-147.

137. Sata T. Approaches to higly integrated factory automation // Proceedings of the 6th International IFIP/IFAC Conference "PROLAMAT'85". North-Holland / 1986.

138. Tsushima Isao, Tashiro Tsutomu, Komoda Norihisa, Bada Karushi. "Kafi-coKy A3UAO C3fire, raKKaii poMÖyHcio, Trans. Soc. Instrum. And Contr. Eng." 1985, 21. № 10. P. 1113-1120.