Αποστολή με SMS: Supervisory Control of Concurrent Systems