Задача об обедающих мудрецах. Мудрецы сидят за круглым столом и каждый из них может пребывать в одном из двух состояний: думает или обедает

Мудрецы сидят за круглым столом и каждый из них может пребывать в одном из двух состояний: думает или обедает. На столе блюда китайской кухни, а между мудрецами лежит по одной палочке. Для приема пищи мудрец должен взять палочку слева и палочку справа. В этом случае соседи обедающего мудреца могут только думать и ждать, когда освободятся палочки, чтобы приступить к обеду. На рис.6 сетью Петри представлено взаимодействие трех процессов (трех мудрецов), состояния которых отражены позициями и ; ( −обедает, − думает). Позиции представляют палочки для еды (разделяемые ресурсы). В исходной маркировке мудрецы думают, а все палочки свободны. При такой исходной маркировке любой из трех мудрецов может приступить к обеду, захватив палочки слева и справа.

Рис.6