Release a

Операнд А – це назва зайнятого або звільненого ОКП. Може бути назвою, додатним цілим числом, виразом у дужках, СЧА, СЧА*параметр. Наявність блоку SEIZE забезпечує виникнення транзактів і ОКП, коли цього вимагає логіка моделі. Транзакти перебувають у моделі тимчасово, а ОКП в моделі існують постійно протягом усього процесу моделювання.

У результаті надходження транзактів у блок SEIZE пристрій, який вказується у цьому блоці, буде зайнятим. Він залишається зайнятим, поки даний транзакт не пройде відповідний блок RELEASE. Якщо будь-який транзакт займає пристрій, який описується операндом А блоку SEIZE, то будь-який інший транзакт не зможе ввійти у даний блок (взагалі не зможе зайтяти цей пристрій з використанням іншого блоку SEIZE). Транзакт одночасно може зайняти будь-яке число пристроїв.

Блок RELEASE звільняє пристрій, який був раніше зайнятий транзак­том, що знаходився у SEIZE. Під час використання блоку RELEASE не виникає затримування, оскільки пристрій звільнюється у момент входження транзакту в блок RELEASE лише цим транзактом, який зайняв пристрій. Якщо перед SEIZE затримується декілька транзактів, то їх обслуговування здійснюється за правилом „перший прийшов – перший обслужився”.

Розглянемо приклад використання блоків:

SEIZE Kan