Welcome to PiTCT

The TCT software package is designed for the synthesis of supervisory controls for untimed discrete-event systems (DES).
PiTCT provides Python Binding of the TCT so that TCT can be used from Python.

Next: Installation