Quantitative Measure for Discrete Event Supervisory Control