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