본 논문에서는 고차원 오토마타(HDA)에서 경로 비시뮬레이션을 특징짓는 새로운 논리인 IPML(Ipomset Modal Logic)을 소개하고, IPML을 통해 경로 비시뮬레이션과 다른 비시뮬레이션 개념들 간의 관계를 명확히 밝힙니다.
