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