Разработка web-приложения для моделирования сетей Петри
Проектирование программного продукта, способного помочь студентам в изучении математического аппарата моделирования сетей Петри. Структура и динамическое поведение моделируемой системы. Алгоритм реализации программы. Построение сети вида клиент-сервер.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | курсовая работа |
| Язык | русский |
| Дата добавления | 04.07.2018 |
| Размер файла | 2,3 M |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Элементы схемы:
p11(a, b, c), t11-t13 - генератор сообщений к клиентам и серверу от первого клиента
p21(a, b, c), t21-t23 - от второго клиента
p31(a, b, c), t31-t33 - от третьего клиента
p12-p14, p22-p24, p32-p34-сообщение готово к отправке
t14-t16, t24-t26, t34-t36 - отправка сообщения через коммутатор
p15, p16, t17- вспомогательные элементы для хранения номера отправителя для первого клиента
p15, p16, t17 - то же для второго клиента
p15, p16, t17 - то же для третьего клиента
p01, p02 - коммутатор
t41 - пересылка запроса на сервер от коммутатора
p41 - запрос пришёл на сервер
t42 - обработка запроса и формирование ответа
p42 - ответ от сервера готов к отправке
t43(a, b, c) - отправка ответа на первый, второй или третий клиент через коммутатор
t18a, t28a, t38a - отправка сообщения от коммутатора на клиент
t18b, t28b, t38b - отправка ответа сервера от коммутатора на клиент
p17, p27, p37 - сообщение или ответ с сервера пришёл на первый, второй или третий клиент
t19, p18 - обработка полученного сообщения или ответа сервера на первом клиенте
t29, p28 - то же для второго клиента
t39, p38 - то же для третьего клиента
Атрибуты переходов:
t21, t31, t17 - =1
t11, t32, t27- =2
t12, t22, t37- =3
t13, t23, t33 - =4
t18a, t43a - ==1
t28a, t43b - ==2
t38a, t43x - ==3
t41 - ==4
t19, t29, t39, t32 - annul
На рисунке 8.2 изображён вид сети после выполнения 300 тактов.
На рисунке 8.3 изображена статистика сети после выполнения 300 тактов.
Из статистики можно сделать следующие выводы:
На клиенты 1, 2 и 3 пришло соответственно 19, 19 и 20 сообщений от других клиентов.
На клиенты 1, 2 и 3 пришло соответственно 10, 9 и 9 ответов с сервера
Загруженность перехода p01 - коммутатора = 0.33. С учётом того, что максимальная загруженность может быть 0.5реальная загруженность является равной 0.66.
Загруженность перехода t42 - сервера = 0.1
Сеть работает нормально, узких мест не имеет.
Рисунок 8.2 - Вид сети после 300 тактов
Рисунок 8.3 - Статистика сети после 300 тактов
Заключение
Программный продукт соответствует всем заявленным требованиям, требует минимальных ресурсов системы, является надёжным и удобным в использовании, а также мультиплатформенным. Программный продукт готов к внедрению.
Список использованных источников
1. Введение в сети Петри [Электронный ресурс]// Studfiles: сайт. - Режим доступа: http://www.studfiles.ru/preview/2927670/.
2. HTML [Электронный ресурс]// Wikipedia: сайт. - Режим доступа: https://ru.wikipedia.org/wiki/HTML.
3. CSS [Электронный ресурс]// Wikipedia: сайт. - Режим доступа: https://ru.wikipedia.org/wiki/CSS.
4. JavaScript [Электронныйресурс]// Wikipedia: сайт. - Режимдоступа: https://ru.wikipedia.org/wiki/JavaScript.
5. jQuery [Электронныйресурс]// Wikipedia: сайт. - Режимдоступа: https://ru.wikipedia.org/wiki/JQuery.
Приложение. Руководство пользователя
Текущие функции программы:
1. Добавление элементов
2. Выделение и перетаскивание элементов.
3. Изменение параметров элемента.
Нужно выделить элемент, изменить его параметр в строке в поле ввода и затем кликнуть в любое место экрана, либо нажать Enter.
4. Удаление элемента.
Для удаления нужно выделить элемент нажать Delete или же нажать кнопку "Удалить элемент".
5. Для удаления всей сети нажмите "Очистить".
6. Активирование перехода.
Нужно выделить переход, и если переход - активный, то можно будет нажать кнопку "Активировать переход"" В противном случае эта кнопка будет недоступна.
7. Симуляция шага (такта).
8. Симуляция шагов через определённый временной интервал.
Для этого нужно установить время между тактами (1000 мс по умолчанию) и количество шагов (если поле пусто - то бесконечное количество), а затем нажать кнопку
Для остановки нажать кнопку
9. Генерация PNML-кода.
Для этого нужно нажать кнопку "Настройки PNML-кода", а затем "Сгенерировать PNML-код сети"
10. Формирование сети из PNML-кода.
Добавьте корректный PNML-код в поле ввода и затем нажмите "Загрузить сеть из PNML-кода".
11. Просмотр статистики
Статистика по позициям:
· Название позиции
· Текущее количество меток в позиции
· Максимальное количество меток в позиции
· Количество меток, которые пришли в позицию
· Загруженность = количество_тактов_с_непустой_позицией/ количество_тактов
Статистика по переходам:
· Название перехода
· Количество активаций
· Загруженность = количество_активаций/количество_тактов
12. Атрибуты
Необязательный параметр "атрибут" у позиций и переходов может применяться для дискретных сетей Петри (с максимальной ёмкостью позиций = 1)
Атрибут у позиций
Может присутствовать только у позиций с ненулевым количеством меток. Представляет собой целое число. Переход может сработать только если атрибут присутствует максимум у одной входящей позиции. Атрибут у исходящей позиции зависит от атрибута входящей позиции и атрибута перехода.
Атрибут у переходов
Может проверять атрибут позиции или его изменять. При отсутствии атрибут у исходящих позиций становится равен атрибуту входящей позиции (если у всех входящих позиций нет атрибута, то у исходящих тоже не будет).
Проверяющий атрибут проверяет выполнение условия. Если условие не выполняется, то переход не может сработать. Если условие выполняется, то переход может сработать и при срабатывании атрибут исходящих позиций становится равен атрибуту входящей позиции.
Проверяющий атрибутможет иметь следующие виды:
>число (проверяет, если атрибут входящей позиции больше числа)
>= число (проверяет, если атрибут входящей позиции больше или равен числу)
<число (проверяет, если атрибут входящей позиции меньше числа)
<= число (проверяет, если атрибут входящей позиции меньше или равен числу)
== число (проверяет, если атрибут входящей позиции равен числу)
!= число (проверяет, если атрибут входящей позиции не равен числу)
Пробел между знаком и числом может отсутствовать
Пример: переход с атрибутом ">3" (без кавычек) может сработать только если атрибут у входящей позиции больше трёх (или отсутствует)
Изменяющий атрибут может иметь следующие виды:
+ число (складывает атрибут и число)
- число (вычитает из атрибута число)
* число (умножает атрибут на число)
/ число (целочисленно делит атрибут на число с округлением в меньшую сторону)
= число (приравнивает атрибут числу)
annul (убирает атрибут)
Пример: у входящей позиции атрибут - "5", у перехода атрибут "+ 1". При срабатывании перехода у всех исходящих позиций будет атрибут "6".
Размещено на Allbest.ru
...Подобные документы
Методы моделирования, отличные от инструментария "сети Петри". Пример моделирования стандартом IDEF0 процесса получения запроса браузером. Раскрашенные (цветные) сети Петри. Моделирование процессов игры стандартными средствами сетей Петри, ее программа.
курсовая работа [1,6 M], добавлен 11.12.2012Методы разработки вычислительной структуры. Изучение методов использования иерархических сетей Петри, пути их практического применения при проектировании и анализе систем. Анализ полученной модели на активность, обратимость, конечность функционирования.
лабораторная работа [36,8 K], добавлен 03.12.2009Понятие сетей Петри, их применение и возможности. Сетевое планирование, математические модели с использованием сетей Петри. Применение сетевых моделей для описания параллельных процессов. Моделирование процесса обучения с помощью вложенных сетей Петри.
курсовая работа [1,0 M], добавлен 17.11.2009Исследование методов моделирования, отличных от сетей Петри. Моделирование при помощи инструментария IDEF. Пример простейшей байесовской сети доверия. Анализ младшего разряда множителя. Сложение на сумматорах. Заполнение и анализ редактора сетей Петри.
курсовая работа [2,6 M], добавлен 28.10.2013Разработка и реализация графического редактора сетей Петри. Описание программы, которая позволяет создавать новые сети путем добавления позиций и переходов, соединяя их определенным образом. Основы построения систем автоматизационного проектирования.
курсовая работа [2,6 M], добавлен 21.06.2011Понятие сетей и связи их компонентов. Характеристики и структура сетей. Основные модели, описывающие поведение сетей. Проектирование и реализация взвешенных сетей: требования к интерфейсу, выбор среды разработки, структура приложения. Анализ результатов.
курсовая работа [1,1 M], добавлен 29.06.2012Анализ существующих решений системы поддержки принятия решений для корпоративной сети. Многоагентная система. Разработка концептуальной модели. Структура базы знаний. Разработка модели многоагентной системы на базе сетей Петри. Методика тестирования.
дипломная работа [5,1 M], добавлен 19.01.2017Анализ инцидентов информационной безопасности. Структура и классификация систем обнаружения вторжений. Разработка и описание сетей Петри, моделирующих СОВ. Расчет времени реакции на атакующее воздействие. Верификация динамической модели обнаружения атак.
дипломная работа [885,3 K], добавлен 17.07.2016Возможности программ моделирования нейронных сетей. Виды нейросетей: персептроны, сети Кохонена, сети радиальных базисных функций. Генетический алгоритм, его применение для оптимизации нейросетей. Система моделирования нейронных сетей Trajan 2.0.
дипломная работа [2,3 M], добавлен 13.10.2015Стандартные схемы программ в линейной и графовой формах. Инварианты и ограничения циклов. Анализ сетей Петри на основе дерева достижимости. Доказательство полной правильности программы. Суммы элементов диагоналей, параллельных главной диагонали матрицы.
курсовая работа [280,4 K], добавлен 30.05.2012Общие сведения о принципах построения нейронных сетей. Искусственные нейронные системы. Математическая модель нейрона. Классификация нейронных сетей. Правила обучения Хэбба, Розенблатта и Видроу-Хоффа. Алгоритм обратного распространения ошибки.
дипломная работа [814,6 K], добавлен 29.09.2014Общая характеристика и функциональное назначение проектируемого программного обеспечения, требования к нему. Разработка и описание интерфейса клиентской и серверной части. Описание алгоритма и программной реализации приложения. Схема базы данных.
курсовая работа [35,4 K], добавлен 12.05.2013Специфика построения и минимизации детерминированного автомата методом разбиения. Построение детерминированной сети Петри, моделирующей работу распознающего автомата. Особенности программной реализации праволинейной грамматики, построение ее графа.
курсовая работа [615,1 K], добавлен 19.06.2012Построение математической модели программы, одноленточного автомата над алфавитом, допускающего различные множества слов. Алфавит терминальных символов, множество состояний и переходов. Определение начального и конечного состояний. Понятие сети Петри.
контрольная работа [294,8 K], добавлен 17.09.2013Основные принципы организации сетей абонентского доступа на базе PLC-технологии. Угрозы локальным сетям, политика безопасности при использовании технологии PLC. Анализ функционирования PLC здания инженерно-внедренческого центра ООО "НПП "Интепс Ком".
дипломная работа [3,0 M], добавлен 25.11.2012Сетевое программное обеспечение: общее понятие, содержание, функции. Этапы развития теории компьютерных сетей. Проектирование в среде программирования Borland Builder C++ клиент серверного приложения с использованием сокетов, листинг данной программы.
курсовая работа [191,5 K], добавлен 07.01.2015Составление программы решения задачи по подсчету количества пересечений прямых, заданных двумя точками. Стандартные схемы программ в линейной и графовой формах, их интерпретация и протокол выполнения программы. Схема программы в виде сети Петри.
курсовая работа [85,4 K], добавлен 02.03.2012Исследование понятия сети, группы из двух или более компьютеров, которые предоставляют совместный доступ к своим аппаратным или программным ресурсам. Изучение основных видов локальных сетей. Анализ предназначения сервера. Топология сетей клиент-сервер.
презентация [115,2 K], добавлен 27.08.2013Необходимость создания моделируемой системы. Описание моделируемой системы и задание моделирования. Структурная схема модели системы. Блок–диаграмма. Текст программы. Описание текста программы. Результаты моделирования. Эксперимент, его результаты.
курсовая работа [35,9 K], добавлен 19.11.2007Варианты топологии одноранговой вычислительной сети, принцип работы распределенных пиринговых сетей. Использование в крупных сетях модели "клиент-сервер". Характеристика операционных систем с сетевыми функциями, многопроцессорная обработка информации.
творческая работа [51,8 K], добавлен 26.12.2011
