У некоторых людей проц в голове поддерживает набор комманд "философия", у некоторых нет. Мб что-то другое развито. Тут, мне кажется "объяснить полезность" этого набора команд сложно, потому что к нему не обращаются извне, если его нет.
ну в данном случае мне не нужно моделировать, потому что конкретный сценарий дедлока у меня уже на руках, вопрос скорее в том, какой из подходов использовать.