Это модель классической задачи о пяти мудрецах в терминах Сетей Петри

[justdi]

А вы что подумали, безбожники?!!