PLC 래더다이어그램의 체계적인 분석을 위한 이산사건모델 변환 알고리즘