Словарные сети Петри

Вводится определение словарной сети Петри (ССП). Показывается, что раскрашенная сеть Петри представляет собой ССП с произвольным доступом к накопителям, а FIFO-сеть – ССП с доступом по правилу «первый пришел, первый ушел». Вводится понятие LIFO-сети как ССП с доступом к накопителям с дисциплиной «последний пришел, первый ушел». Показывается, что LIFO-сети эквивалентны машинам Тьюринга. Дается определение сохраняемости как пример свойства, выполнение которого гарантирует ограниченность ССП вне зависимости от дисциплины доступа.