libFAUDES is a C++ library that implements data structures for the representation of finite automata and algorithms for supervisory control within the framework originally proposed by P.J. Ramadge and ...