Wyślij wiadomość: Quantitative measure for discrete event supervisory control