Envoyer par SMS: Využitie Petriho sietí na modelovanie a riadenie diskrétnych udalostných systémov