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