도달가능성 분석에서 유한 및 결정적 DEVS의 전이 시스템 의미