Na rozdíl od zařízení, pro které je charakteristický výlučný přístup,
umožňuje sklad (objekt třídy Store) popisovat simultánní přístup ke
zdroji s určitou kapacitou. Jako příklad skladu můžeme uvést parkoviště nebo
paměť počítače. Sklad může obsadit více procesů v závislosti na kapacitě
skladu a na požadavcích těchto procesů. Proces, který požaduje méně jednotek
kapacity než je volné místo, může obsadit požadovanou část kapacity a volné
místo se tím zmenší. Pokud proces požaduje více, než je volná kapacita, musí
čekat až bude požadované místo volné. Zařízení lze tedy považovat za sklad s
kapacitou jedna s tou výjimkou, že sklad nemá možnost přerušovat obsluhu.
Deklarace skladu má tvar:
Store <identifikátor> ( "<jméno skladu>", <výraz-kapacita> );