Выдержка из дипломной работы, по теме: Програмное моделирование системы передачи цифровой информации - несет исключительно ознакомительное назначение и может отличатся от имеющейся в наличии. Рекомендуем скачать краткую - версию для получения более полного представления о предлагаемой курсовой работе.
Сети Петри – наиболее удачный из существующих математический аппарат для моделирования, анализа, синтеза и проектирования самых разных дискретных систем с параллельно протекающими процессами.
Определение. Сетью Петри называется четвёрка элементов
C = (P, T, I ,O), (1.1.1)
где
P = { p1, p2,…,pn }, n > 0 (1.1.2)
множество позиций (конечное),
T = { t1, t2,…,tm }, m > 0 (1.1.3)
множество переходов (конечное),
I: T → P (1.1.4)
функция входов (отображение множества переходов во входные позиции),
O: T → P (1.1.5)
функция выходов (отображение множества переходов в выходные позиции).
Если pi I (tj) , то pi – входная позиция j - го перехода, если pi I (tj) , то pi – выходная позиция j - го перехода.
Для наглядного представления сетей Петри используются графы.
Граф сети Петри есть двудольный ориентированный мультиграф