Описание переменных

Передача результата игры

Логи игр Bard против трех антогонистов

Заключение

В ходе выполнения групповой работы были получены навыки по построению цветных сетей Петри. Также был реализован ход игры, разворачивающейся в соответствии с описанными правилами. Был составлен набор формальных правил, на основе которых будет производиться выбор действий протагониста, а также найдены две субоптимальные стратегии для пар игроков протагонист-антагонист, которые обеспечивали наиболее высокую вероятность победы протагониста в игре.