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

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

  • изучить принцип работы классических сетей Петри;
  • изучить причины возникновения проблем при их использовании сетей Петри;
  • изучить проблему досягаемости тупиковой разметки в классических сетях Петри.
Объект исследования: технология разработки сетей Петри и решения проблем, которые возникают при их использовании. Предмет исследования: возможности классических сетей Петри, возникновение тупи кокковой разметки. Исследование сетей Петри на возникновение тупиковой разметки. Практическая значимость: результатом исследования является программа которая может быть использована как в практике так и в учебном процессе. Работа состоит из введения, трех разделов и заключения. В конце работы приведен список использованной литературы и приложения. Во введении раскрывается актуальность темы, определены объект и предмет исследования и дается характеристика каждого раздела. В первом разделе рассмотрены базовые понятия и принципы работы параллельного вычисления. Второй раздел полностью посвящен рассмотрению классических сетей Петри. Третий раздел посвящен описанию программного продукта, реализация и инструкция по использованию. В выводах обращается внимание на обоснование результатов исследования, обобщаются отдельные факты и идеи, которые формировались во время исследования. В приложении приведены исходные коды разработанного программного продукта. Раздел 1 1.1. Вычислительного процесса НАД памятью Выражением информационных составляющих в наших моделях будет множество процессов, которые представляют собой последовательность включения и выключения некоторых операторов. В зависимости от порядка включения и выключения процессы могут быть либо последовательными или параллельными. И так пусть задана множество М = { x y , x i ,. . .} ячеек памяти или переменных, которые могут быть с индексом, и множество F = { a b a i ,. . .} символов операторов, которые там, не приводят к двусмысленности, будем для сокращения называть просто операторами. Для каждого оператора определены упорядоченные множества, входных и выходных переменных. Символы и будут обозначать k — ту компоненту этих множеств. Предполагается, что выполняется условие Таким образом, никакие два выхода не производят одну и ту же переменную. Кроме того, предполагается, что F включает в себя два специальных символа и — оператора ввода и в — оператора вывода информации. Определение 1: описана пара множеств ( M F ) называется информационным базисом. Возможны и другие варианты при описании информационного базиса. Например иногда в качестве входов и выходов оператора a t удобно рассматривать некоторые абстрактные элементы t a и a t (индекс перед а означает вход, а после а — выход). С каждым из таких элементов с помощью некоторого отображения сопоставляется некоторая своя переменная. С каждым оператор ним символом а связывается символ инициализации и символ завершения. Первый указывает на начало работы оператора а , а второй на завершение его работы. Определение 2: вычислительным процессом над информационным базисом ( M F ) называется конечное или бесконечная последовательность где есть или, или для некоторого оператора а . Начальный отрезок обозначим как и назовем его префиксом процесса . При этом допущенные от требуется
  1. Для любых k и a , если префикс содержит п символов исключения оператора а , то он содержит не менее п операторов включения а . Эта аксиома выражает естественную требование о том, что исключение оператора не может быть ранее его включения.
  2. Для любого а , если процесс конечный, он содержит включения и выключения оператора а . Также естественное требование: после завершения „ работы "все процессы которые были включены должны быть завершены.
  3. Процесс или бесконечный и тогда имеет не более одного вхождения символа в , или конечный и тогда содержит единственное вхождение этого символа . Заметим, что это условие слабее, чем требование о выходе из расчета за оператор вывода: последнее вхождение в процесс не обязательно в . Нередко дополнительно нужны еще два условия.
  4. Для произвольного отрезка вида между символами включения должен быть символ исключения. Это требование можно назвать отсутствием авто параллельности, то есть одновременного выполнения оператора а с самим собой.
  5. В имога информационной обеспеченности, и Оператор а может включиться только тогда, когда производимая информация для каждого из его входов предварительным операторами.

Комментарии и пинги к записи запрещены.

Комментарии закрыты.