STSLib and its application to two benchmarks

State Tree Structures (STS) are an adaptation of statecharts to supervisory control theory. STSLib is a C++ library that we have developed to support the symbolic analysis and synthesis of STS. This paper presents a short introduction to the library, and then applies the library to two benchmarks: (1) Cat and Mouse Tower (CMT), (2) Dining Philosophers (DP). We demonstrate that STSLib can design optimal nonblocking supervisors for systems of state size up to 10626, and the resulting controllers are tractable and readily comprehensible.