SMS versenden: Riadenie udalostných systémov s využitím Petriho sietí