Ниже приводятся некоторые из возможных интерпретаций устройств.
Моделируемая система
Интерпретация устройства
Кинотеатр
Кассир
ЭВМ
Процессор
Универсам
Продавец
Сеть ЭВМ
Канал связи
Производственный участок
Станок
Память имеет емкость, выражаемую целым числом единиц. Ее состояние определяется числом занятых единиц. Транзакт может занимать и освобождать любое число единиц памяти, лишь бы оно было неотрицательным и не превышало объема памяти. Память могут занимать одновременно несколько транзактов. В исходном состоянии системы все памяти свободны.
