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