A control oriented model of generalized warehouses based on Colored Timed Petri Nets

Generalized warehouses denote complex warehousing systems where several kind of resources, automated vehicles, manned vehicles and on-foot storemen have to execute a list of moving orders. This paper discusses the differences between the automated warehouses, which have received a great attention in the literature, and the generalized warehouses, which have an increasing relevance in real world but have not been well treated from a scientific point of view. In this paper, an approach based on the simulation of Colored Timed Petri Nets is presented for the operational control of these systems.