Какие есть фрэймворки/библиотеки для реализации конечного автомата под .NET?

Всем доброго времени суток. Подскажите, пожалуйста, есть ли какие-нибудь фрэймворки/библиотеки для конечного автомата под .NET (C#). Нужны базовые функции для FSA - построение, проверка, редактирование, исполнение, может быть, преобразование NFA в DFA и минимизация. Также должна присутствовать возможность расширения - прикрутить частоты/вероятности к переходам, ограничения на циклы (типа квантификаторов в RE), объекты в качестве входных символов и т.д. (а может, уже есть что-то с подобным функционалом?). Или хотя бы похожие примеры.