CIF models for the waterway lock described in the L-CSSA paper

Compatible with CIF version r9682, downloaded from: http://cif.se.wtb.tue.nl/

Specific tooling for automatic clustering and generating all supervisors for MLDES are not yet publicly available.

1_Plant_Requirements.cif contains the complete model.

For any questions related to the code please contact: [email protected]