ID;Current State;Trigger;Next State
T1;Flow Correction;Inventory within target tolerance;Steady Flow
T2;Flow Correction;Inventory reaches maximum limit;Overflow Protection
T3;Flow Correction;Inlet flow stops;Pumping Down
T4;Flow Correction;Maintenance starts;Maintenance
T5;Steady Flow;Inventory leaves tolerance;Flow Correction
T6;Overflow Protection;Inventory below recovery level;Flow Correction
T7;Pumping Down;Inventory reaches minimum level;Stop Pumping
T8;Pumping Down;Inlet flow resumes;Flow Correction
T9;Maintenance;Maintenance completed;Flow Correction
T10;Any State;Emergency shutdown;Emergency Stop
