On Analysis of Puzzle-Based Warehouse Systems Using Modular Petri Nets

Puzzle-based storage (PBS) systems are intended to increase storage density using optimally available storage space. Having dynamic puzzle-based storage systems requires finding and validating tools to support the optimal operation of such systems. The problem is that as the parameters of PBS change, the optimal way for operating that new setup may need to be recalculated. The changing parameters can be related to the change of the physical layout of the PBS (e.g., dimensions, number of carriers) or mode (e.g., the number of nodes that can be simultaneously moved, amount of orders simultaneously processed). Each parameter may require reevaluation for optimal approaches to control changed PBS. This article proposes using a modular Petri Nets-based formalism to analyze PBS setup for finding optimal control approaches. We architect an adaptive PBS system that dynamically adjusts to changing configuration and/or control parameters.