SMS versenden: Detekcia uviaznutí v diskrétnych udalostných systémoch so zdieľanými zdrojmi :