Здравствуйте, kaa.python, Вы писали:

KP>State Machine относят к паттернам, так что, логично предположить что и подмножество паттерна можно считать паттерном

Нет, не относят — конечный автомат (машина состояний), это с чем-то другим перепутано, возможно с частично схожим именем. В книге Мартина Фаулера "UML. Основы", рассматриваются различные диаграммы поведений, в частности диаграмма деятельности и диаграмма состояний. Причём диаграмма деятельности UML поддерживает в том числе исполнение в различных потоках. При этом с логической точки зрения диаграмма деятельности является подмножеством диаграммы состояний, о чём и говорится в книге.