Invia SMS: Modelovanie diskrétnych udalostných systémov