Statistics for Design and implementation of a maximally permissive (optimal) supervisory controller for a CIM system - conveyor module