Popis a simulace staniční řídicí techniky Petriho sítěmi