Scalable boolean simulation methods for dynamical biological systems = 생체시스템의 동역학 분석을 위한 효율적인 이진 시뮬레이션 기법 연구