Add Cat and Mouse Tower as benchmark model
The Cat and Mouse Tower (CMT) is an academic model used to experiment with supervisory control (synthesis).
It originates here: https://doi.org/10.1109/WODES.2008.4605932
It was used in the experiments of this paper: https://research.tue.nl/en/publications/efficiently-enforcing-mutual-state-exclusion-requirements-in-symb, which resulted in issue #198 (closed)
What is nice about the model, is that it can be scaled in size by changing some parameters. I was not able to perform this using CIF instantiation, so I wrote a Matlab script, here: construct_CMT.m . I'm not sure if or how this should be added to ESCET.
Some instances of the model can be found here: https://github.com/sbthuijsman/CASE21_enforce_requirements
There is also a modified "v2" CMT model in that github folder, which is also described in https://research.tue.nl/en/publications/efficiently-enforcing-mutual-state-exclusion-requirements-in-symb