Сеть Петри, моделирующая систему "Производитель-Потребитель с буфером". Пример синхронизации двух параллельных процессов. Как работает: Что здесь важно: Если добавить больше фишек в P1 и P4, система сможет хранить несколько товаров одновременно...