أرسل هذا في رسالة قصيرة: Quantitative measure for discrete event supervisory control