제1네트워크의 제1끌개에 관한 정보를 획득하는 단계, ① 제1네트워크의 상태의 갱신규칙인 제1갱신규칙 및 ② 상기 제1끌개를 기초로 상기 제1네트워크의 직전상태들을 계산하는 상태 역추적 단계로서, 상기 제1끌개는 기준시점에서의 상기 제1네트워크의 상태로서의 자격이 부여된 것이며, 상기 제1네트워크의 직전상태들은 상기 기준시점의 바로 이전의 시점인 직전시점에서의 상기 제1네트워크의 상태로 정의되는, 상기 상태 역추적 단계, 및 상기 계산된 직전상태들 각각에 대하여 상기 기준시점에서의 상기 제1네트워크의 상태로서의 자격을 부여하고, 상기 상태 역추적 단계를 반복함으로써, 상기 제1끌개가 포함된 제1끌개유역의 모든 상태를 결정하는 단계를 포함하는, 부울리언 네트워크의 끌개유역 결정방법을 공개한다.