![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Математические модели с использованием сетей Петри
Сети Петри являются эффективным инструментом дискретных процессов, в частности, функционирования станочных систем. Их особенность заключается в возможности отображения параллелизма, асинхронности и иерархичности. На рис. 7. приводится сети Петри, где Р - конечное непустое множество позиций (состояний); Т — конечное непустое множество переходов (событий), причем
Данное условие показывает, что в каждой входной позиции перехода t число маркеров не меньше веса дуги, соединяющей эту позицию с переходом. В результате срабатывания перехода t, удовлетворяющего условию (10), маркировку
По этому правилу в результате срабатывания из всех входных позиций перехода t изымается F(p, t) маркеров и в каждую выходную позицию добавляется H(t, p) маркеров. Это означает, что маркировка Состояние сети в данный момент времени определяется ее текущей маркировкой. Важная характеристика сети Петри - граф достижимости, с помощью которого описываются возможные варианты функционирования сети. Такой граф имеет вершины, которые являются возможными маркировками. Маркировки В качестве примера рассматривается сеть Петри, изображенная на рис. 7.
Фрагмент графа достижимости для сети Петри приведен на рис. 8.
|