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: m.a.goorden@tue.nl