8.2. Маркированные графы

Маркированные графы были рассмотрены в разд. 7.4.2. Как подкласс сетей Петри маркированные графы, очевидно, обладают более ограниченной мощностью моделирования. Маркированные графы непосредственно не сопоставимы с конечными автоматами, но, по-видимому, являются двойственными к ним. Таким образом, мы получаем изображенное на рис. 8.1 соотношение между сетями Петри, конечными автоматами и маркированными графами.

Рис. 8.1. Соотношение между сетями Петри, маркированными графами и конечными автоматами.