Управление производством пироксилиновых порохов с использованием модифицированных сетей Петри
Автоматизированное рабочее место диспетчера как программный комплекс, имитирующий функционирование производственного процесса. Перемещение меток по сети Петри - совокупность срабатываний переходов, отображающих смену дискретного состояния системы.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | статья |
| Язык | русский |
| Дата добавления | 04.12.2018 |
| Размер файла | 215,8 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Понятие сетей Петри, их применение и возможности. Сетевое планирование, математические модели с использованием сетей Петри. Применение сетевых моделей для описания параллельных процессов. Моделирование процесса обучения с помощью вложенных сетей Петри.
курсовая работа [1,0 M], добавлен 17.11.2009Методы моделирования, отличные от инструментария "сети Петри". Пример моделирования стандартом IDEF0 процесса получения запроса браузером. Раскрашенные (цветные) сети Петри. Моделирование процессов игры стандартными средствами сетей Петри, ее программа.
курсовая работа [1,6 M], добавлен 11.12.2012Разработка и реализация графического редактора сетей Петри. Описание программы, которая позволяет создавать новые сети путем добавления позиций и переходов, соединяя их определенным образом. Основы построения систем автоматизационного проектирования.
курсовая работа [2,6 M], добавлен 21.06.2011Исследование методов моделирования, отличных от сетей Петри. Моделирование при помощи инструментария IDEF. Пример простейшей байесовской сети доверия. Анализ младшего разряда множителя. Сложение на сумматорах. Заполнение и анализ редактора сетей Петри.
курсовая работа [2,6 M], добавлен 28.10.2013Методы разработки вычислительной структуры. Изучение методов использования иерархических сетей Петри, пути их практического применения при проектировании и анализе систем. Анализ полученной модели на активность, обратимость, конечность функционирования.
лабораторная работа [36,8 K], добавлен 03.12.2009Построение математической модели программы, одноленточного автомата над алфавитом, допускающего различные множества слов. Алфавит терминальных символов, множество состояний и переходов. Определение начального и конечного состояний. Понятие сети Петри.
контрольная работа [294,8 K], добавлен 17.09.2013Анализ существующих решений системы поддержки принятия решений для корпоративной сети. Многоагентная система. Разработка концептуальной модели. Структура базы знаний. Разработка модели многоагентной системы на базе сетей Петри. Методика тестирования.
дипломная работа [5,1 M], добавлен 19.01.2017Анализ процессов и ситуаций для плоттеров, их виды (печатающие, режущие). Построение метамодели "асинхронный процесс". Операции над процессами, их композиция. Предметная интерпретация асинхронного процесса. Сеть Петри для процесса подготовки к вырезанию.
контрольная работа [268,5 K], добавлен 06.09.2011Построение метамодели "асинхронный процесс". Граф исходного процесса с репозицией. Особенности процесса редукции, таблица векторов. Предметная интерпретация асинхронного процесса. Свойства сети Петри: ограниченность; безопасность; живость; устойчивость.
контрольная работа [150,3 K], добавлен 08.04.2011Специфика построения и минимизации детерминированного автомата методом разбиения. Построение детерминированной сети Петри, моделирующей работу распознающего автомата. Особенности программной реализации праволинейной грамматики, построение ее графа.
курсовая работа [615,1 K], добавлен 19.06.2012Анализ инцидентов информационной безопасности. Структура и классификация систем обнаружения вторжений. Разработка и описание сетей Петри, моделирующих СОВ. Расчет времени реакции на атакующее воздействие. Верификация динамической модели обнаружения атак.
дипломная работа [885,3 K], добавлен 17.07.2016Анализ программ автоматизации деятельности диспетчера такси. Жизненный цикл автоматизированной информационной системы, язык программирования, система управления базами данных. Создание программы "Автоматизированное рабочее место диспетчера такси".
курсовая работа [1,6 M], добавлен 19.11.2010Описание процесса работы Touch Pad, операции над процессом. Выбор вычислительного процесса. Построение метамодели "асинхронного процесса", свойства его исходного положения на основе ее анализа. Предметная интерпретация метамодели на основе сети Петри.
контрольная работа [86,3 K], добавлен 06.09.2011Суть автоматизации малого бизнеса, альтернативы выбора ее средств. Цели, функции, свойства автоматизированной системы менеджера. Технические средства в разрабатываемом программном комплексе. Основные функции операционной системы, требования к ней.
контрольная работа [219,4 K], добавлен 17.09.2013Проект информационной системы "АРМ заведующего хозяйством" для заведующего хозяйством ОАО "Красноярский машиностроительный завод". Анализ предметной области. Требования к концепции информационной системы. Концептуальная модель программного обеспечения.
курсовая работа [2,3 M], добавлен 12.04.2015Построение метамодели "асинхронный процесс" и определение свойств исходного процесса на основе ее анализа. Операции над процессом: репозиция, редукция, композиция, оценка результатов. Формирование предметной интерпретации метамодели на основе сети Петри.
контрольная работа [134,8 K], добавлен 12.04.2011Общая характеристика предприятия, анализ существующей системы управления. Проект программы "Автоматизированное рабочее место кассира в отделе контроля и сбора выручки", в современной объектно-ориентированной интерактивной среде Delphi 7 фирмы Borland.
дипломная работа [771,5 K], добавлен 10.10.2011Основные принципы организации сетей абонентского доступа на базе PLC-технологии. Угрозы локальным сетям, политика безопасности при использовании технологии PLC. Анализ функционирования PLC здания инженерно-внедренческого центра ООО "НПП "Интепс Ком".
дипломная работа [3,0 M], добавлен 25.11.2012Принцип создания кадра с помощью цифровой камеры. Построение метамодели "асинхронный процесс". Описание траекторий выбранного процесса. Операции репозиции, редукции и композиции. Предметная интерпретация асинхронного процесса. Построение сети Петри.
контрольная работа [32,4 K], добавлен 12.04.2011Стандартные схемы программ в линейной и графовой формах. Инварианты и ограничения циклов. Анализ сетей Петри на основе дерева достижимости. Доказательство полной правильности программы. Суммы элементов диагоналей, параллельных главной диагонали матрицы.
курсовая работа [280,4 K], добавлен 30.05.2012
