Условия окончания моделирования логических сетей с неисправностями

Приводится решение задачи определения условий, при выполнении которых моделирование логической сети с неисправностями прекращается. В современных методах моделирования для этих целей в общем случае используются различные эвристические приемы.