The supervisory control theory of discrete event systems modeled as finite state machines (FSMs) have been studied for many years. However, the problem of state explosion in the exiting theories ...

This work uses the formal method B for the implementation of hierarchical control structures for a class of discrete-event systems modelled by Finite State Machines. Given the architecture, their ...