SMS versenden: Modelovanie automatizovaných skladových systémov pomocou Petriho sietí