Какой способ контроля остатков товара принят в Навижн

[Гений 1С]

Вася продает 8 бутылок пива, Петя - 5 бутылок пива. На складе 10 бутылок пива, вроде бы хватает каждому.

Вариант с блокировкой.

Вася блокирует записи по пиву, проводит 8 бутылок пива. Петя провести не может - таблица заблокирована, ждет, когда разблокируется. Когда он пытается провести, выдается ошибка - остаток уже 2 бутылки.

Вариант с контролем остатков:

Вася и Петя проводят одновременно.
После проведения смотрят остатки.
У обоих может получиться -3 (очень маловероятный вариант), тогда оба не смогут провести.
Или у одного из них проведется, у другого нет.

Вариант с версионностью Навижн:
Вася и петя используют одну и ту же запись таблицы остатков товара - остаток пива на складе.
Оба меняют этот остаток. Если версии отличаются, выскакивает ошибка.