EVENT-B MODEL FOR INCREASING THE EFFICIENCY OF WAREHOUSE MANAGEMENT

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28120%2F18%3A63520154" target="_blank" >RIV/70883521:28120/18:63520154 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/70883521:28140/18:63520154

Výsledek na webu

<a href="http://file:///C:/Users/hrusecka/Downloads/450376%20(1).pdf" target="_blank" >http://file:///C:/Users/hrusecka/Downloads/450376%20(1).pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.17512/pjms.2018.17.2.06" target="_blank" >10.17512/pjms.2018.17.2.06</a>

Jazyk výsledku

angličtina

Název v původním jazyce

EVENT-B MODEL FOR INCREASING THE EFFICIENCY OF WAREHOUSE MANAGEMENT

Popis výsledku v původním jazyce

With raising customers’ requirements and competition forces, companies face the pressure to increase both the efficiency and flexibility of production and logistic processes thatdirectly influences their management activities. This article deals especially with the processes related to chaotic storage systems using automated high bay warehouse technologies operated by traditional automated crane-based storage and retrieval systems (AS/RS) that have become popular in recent years as systems supporting the lean management philosophy in accordance with growing requirements of the fourth industrial revolution. Presented proof obligation Event-B model includes advanced algorithms for automated storage and retrieval warehouse activities that should ensure the higher efficiency and flexibility of both logistic and all consequent processes. The algorithms are based on the idea of continuous relocation of stored items during an automated stacker crane´s idle times in order to ensure faster delivery of future orders from better accessible positions. It supports automated decision-making in warehouse management systems in accordance with lean principles. The proposed solution was verified by experimental model processed by a discrete even simulation software, which confirmed its positive impact on the flexibility of storage and retrieval activities. Its implementation into the real practice increases the accuracy of warehouse management processes which directly influence the production management and other decision-making activities.

Název v anglickém jazyce

EVENT-B MODEL FOR INCREASING THE EFFICIENCY OF WAREHOUSE MANAGEMENT

Popis výsledku anglicky

With raising customers’ requirements and competition forces, companies face the pressure to increase both the efficiency and flexibility of production and logistic processes thatdirectly influences their management activities. This article deals especially with the processes related to chaotic storage systems using automated high bay warehouse technologies operated by traditional automated crane-based storage and retrieval systems (AS/RS) that have become popular in recent years as systems supporting the lean management philosophy in accordance with growing requirements of the fourth industrial revolution. Presented proof obligation Event-B model includes advanced algorithms for automated storage and retrieval warehouse activities that should ensure the higher efficiency and flexibility of both logistic and all consequent processes. The algorithms are based on the idea of continuous relocation of stored items during an automated stacker crane´s idle times in order to ensure faster delivery of future orders from better accessible positions. It supports automated decision-making in warehouse management systems in accordance with lean principles. The proposed solution was verified by experimental model processed by a discrete even simulation software, which confirmed its positive impact on the flexibility of storage and retrieval activities. Its implementation into the real practice increases the accuracy of warehouse management processes which directly influence the production management and other decision-making activities.

Druh

J_SC - Článek v periodiku v databázi SCOPUS

CEP obor

—

OECD FORD obor

50204 - Business and management

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Polish Journal of Management Studies

ISSN

2081-7452

e-ISSN

—

Svazek periodika

17

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

PL - Polská republika

Počet stran výsledku

12

Strana od-do

63-74

Kód UT WoS článku

000437256700006

EID výsledku v databázi Scopus

2-s2.0-85049606278