В модели существует по одной ЦТС и ЦБС и, в общем случае, несколько цепей прерывания, пользователя, парности.

ЦТС содержит транзакты, движение которых по блокам планируется в текущий момент времени, а также транзакты, движение которых заблокировано ввиду условий в модели (по желанию пользователя транзакты могут быть перенесены из ЦТС в цепи пользователя для уменьшения времени прогона модели или реализации нетипичной дисциплины обслуживания). Например, транзакт может быть заблокирован ввиду блокирования его входа в блок SEIZE , когда требуемый ресурс занят.

ЦБС состоит из транзактов, движение которых не планируется в текущий момент времени. Это возможно в следующих случаях:

Транзакты в цбс располагаются в порядке будущих времен инициализации.

Таким образом, транзакты в модели располагаются одновременно и в блоках, и в цепях. Интерпретатор изменяет состояние модели при просмотре ЦТС от начала к концу. Он выбирает транзакт и двигает его по модели до тех пор, пока не возникнет одна из трех ситуации: