Конечные группы автоморфизмов сетей Петри

Для систем помеченных переходов определяются понятия изоморфизма и автоморфизма, в частности, для структурированных систем (WSTS) – понятие монотонного автоморфизма. Показано, как каждому автоморфизму сопоставить некоторое отношение бисимуляции. Доказано, что группа монотонных автоморфизмов сети Петри конечна.