1 Язык сети Петри Алфавит Σ– конечное множество символов. Строка – любая последовательность символов конечной длины из символов алфавита Пустая строка. - презентация

1 1 Язык сети Петри Алфавит Σ– конечное множество символов. Строка – любая последовательность символов конечной длины из символов алфавита Пустая строка λ – строка, не имеющая символов (длины 0) Σ* множество всех строк из символов алфавита Σ, включая пустую строку Σ + множество непустых строк Σ*= Σ + U λ Язык – множество строк над алфавитом

2 2 Начальное состояние M 0 Функция помещения: Свободно помеченная сеть Петри – Помеченная сеть Петри, в которой все переходы помечены по-разному λ- помеченные переходы не появляются в предложениях языка, и, следовательно их запуск при выполнении не фиксируется Три класса функций помещения: свободные, без λ-переходов и с λ-переходами. Множество заключительных состояний F (множество конечных разметок)

3 3 Язык L является языком L-типа, если существует сеть Петри, помещение переходов σ, начальная разметка M 0, конечное множество заключительных маркировок F, что

4 4 Язык L является языком G-типа, если существует сеть Петри, помещение переходов σ, начальная разметка M0, конечное множество заключительных маркировок F, что

5 5 Язык L является языком Т-типа, если существует сеть Петри, помещение переходов σ, начальная разметка M 0, что

6 6 Язык L является языком P-типа, если существует сеть Петри, помещение переходов σ, начальная разметка M 0, что

7 7 Классы языков сетей Петри

8 8 Для задания конкретного языка должны быть заданы: Сеть Петри C Функция помещения σ Начальная маркировка M 0 Множество заключительных состояний F (для L и G)

9 9 Сеть Петри называется помеченной СП 12 языков:

10 10

11 11 Начальная разметка M0=(1,0,0,0) F=(0,0,1,0) Язык L – типа: Язык G – типа

12 12 Язык Т – типа: Язык P – типа:

13 13

14 14

15 15 Свойства языков Помеченная сеть Петри с языком имеет стандартный вид, если

16 16

17 17 1. Конкатенация Последовательное выполнение двух подсистем

18 18

19 19