PetriNetLib

Реализация сети Петри для Arduino — инструмент для моделирования и исполнения логики на основе переходов между состояниями. Сеть инициализируется числом состояний и переходов (до 255 каждого), а переходы настраиваются функцией SetTransition() с указанием входных и выходных состояний, условия срабатывания и опциональной callback-функции. Разметка состояний устанавливается и читается через SetMarkup() и GetMarkup(), а сама сеть обновляется вызовом Update(), который проверяет активные переходы и срабатывает по условиям. Главное ограничение: условия переходов вычисляются при каждом Update(), поэтому они должны быть максимально лёгкими — тяжёлые вычисления лучше вынести в основной цикл, чтобы не замораживать логику сети.