A system of models for simulating shop restocking