SMS versenden: Modelovanie a riadenie diskrétnych udalostných systémov s využitím Petriho sietí a iných nástrojov