Алгоритм распознавания конфликтных и бесконфликтных состояний

Алгоритм распознавания конфликтных и бесконфликтных состояний системы с любым конечным числом элементов основан на фундаментальной структурной теореме анализа и разрешения конфликтов (см.) еди