Abstract
This paper presents the use of the Petri Net Method for modeling railway tracks. The Petri Net is defined as having the characteristics of a parallel, asynchronous, distributed, inconclusive, statistical, etc. information handling system and is a graphical mathematical modeling tool to study the specifics of active movement. It's proven use can be seen at the Korean type Light Rail testing tracks where they modelled the Petri Net method using the train track encasing the segment, track, turnout, and platform as a singular factor and even though two trains either travelling in the same or opposite directions on a single test track equipped with a sidetrack can travel with the guarantee that the two will not collide.
본 논문에서 우리는 Petri Net을 사용하여 철도 선로를 모형화 하는 문제를 다루었다. Petri Net는 병행적, 비동기, 분산, 병렬, 비결정론, 확률론 등의 특성을 가진 정보처리시스템을 기술하고 시스템의 동적거동의 특성을 연구하기 위해 고안된 도식적, 수학적 모델링 도구이다. 검증 사례로서, 한국형 경량전철시험선 선로를 철도 시설물의 구성품(세그먼트, 궤도, 분기기, 승강장)으로 모델링하고, 대피선이 있는 단일 궤도에서 두 대의 열차가 동일한 방향에서 함께 진행하고 있거나 반대방향에서 동시에 진행을 하지만 충돌을 하지 않는다는 것을 보장하면서 설정된 진로를 이동하는 Peri Net 모형을 구현하였다.