잭슨 네트워크 (Jackson Network)
쉽게 풀면
여러 창구가 연결되어 고객이 한 창구를 마친 뒤 확률적으로 다른 창구로 옮겨 가는 시스템을 생각해 봅시다. 놀랍게도 이런 네트워크는 각 창구를 마치 독립된 M/M/c 대기행렬처럼 따로따로 분석한 뒤 곱하기만 하면 전체의 정상상태 분포를 얻을 수 있습니다. 이것이 1957년 Jackson이 증명한 정리이며, 그 네트워크를 잭슨 네트워크라 부릅니다.
왜 중요한가
제조 라인, 통신망, 컴퓨터 시스템, 병원 환자 흐름처럼 여러 단계를 거치는 시스템을 해석적으로 분석할 수 있게 해 주는 핵심 결과입니다. 곱형식 덕분에 노드 수가 늘어도 계산이 폭발하지 않으며, 시뮬레이션 모형의 검증 기준이나 근사 기법(분해법 등)의 출발점으로 쓰입니다.
논문에서는 이렇게 쓰입니다
여러 단계 생산 라인을 이 네트워크로 두고 단계별 대기 수량과 시간을 수식으로 구했다는 뜻입니다.
각 창구에 실제로 들어오는 흐름의 양을 연립방정식으로 구하고 모든 창구가 과부하가 아닌지 확인했다는 의미입니다.
조금 더 깊게 보면
각 노드의 유효 도착률 λ_i 는 트래픽 방정식 λ_i = γ_i + Σ_j λ_j p_ji 로 구하며, 안정성 조건은 모든 i에 대해 λ_i < c_i μ_i 입니다. 네트워크 내부의 흐름은 일반적으로 포아송이 아님에도 곱형식이 성립한다는 점이 중요합니다. 고객 수가 고정된 폐쇄형은 Gordon-Newell 네트워크라 하며 정규화 상수 계산에 Buzen 알고리즘이나 평균값 분석(MVA)을 씁니다. 다중 고객 클래스와 특정 서비스 규율로 확장한 것이 BCMP 네트워크입니다.
주의할 점
지수 서비스시간, 무한 대기공간, 상태 독립적 라우팅, 차단(blocking) 없음 등의 가정이 깨지면 곱형식이 성립하지 않습니다. 실제 생산 시스템은 유한 버퍼와 비지수 가공시간을 갖는 경우가 많으므로, 잭슨 모형은 1차 근사 또는 상한·하한 추정 용도로 쓰고 정밀 분석은 분해 근사나 시뮬레이션으로 보완해야 합니다.