상세 보기
페트리 네트를 이용한 경량전철시험선 선로의 모형화
Modeling of Railway Networks for LRT Test Line Using Petri Nets
- 최권희;
- 송중호;
- 최규형;
- 황현철
초록
본 논문에서 우리는 Petri Net을 사용하여 철도 선로를 모형화 하는 문제를 다루었다. Petri Net는 병행적, 비동기, 분산, 병렬, 비결정론, 확률론 등의 특성을 가진 정보처리시스템을 기술하고 시스템의 동적거동의 특성을 연구하기 위해 고안된 도식적, 수학적 모델링 도구이다. 검증 사례로서, 한국형 경량전철시험선 선로를 철도 시설물의 구성품(세그먼트, 궤도, 분기기, 승강장)으로 모델링하고, 대피선이 있는 단일 궤도에서 두 대의 열차가 동일한 방향에서 함께 진행하고 있거나 반대방향에서 동시에 진행을 하지만 충돌을 하지 않는다는 것을 보장하면서 설정된 진로를 이동하는 Peri Net 모형을 구현하였다.
키워드
Petri Nets; railway; track; track; segment; turnout; platform; deadlock; Petri Nets; railway; track; track; segment; turnout; platform; deadlock; 페트리네트; 철도; 궤도; 세그먼트; 분기기; 승강장; 교착상태
- 제목
- 페트리 네트를 이용한 경량전철시험선 선로의 모형화
- 제목 (타언어)
- Modeling of Railway Networks for LRT Test Line Using Petri Nets
- 저자
- 최권희; 송중호; 최규형; 황현철
- 발행일
- 2010-12
- 저널명
- 한국철도학회논문집
- 권
- 13
- 호
- 6
- 페이지
- 570 ~ 576
- 언어
- KOR
- 출판사
- 한국철도학회
- 발행국가
- 대한민국
- 분량
- 7 페이지
- ISSN
- E 2288-2235
P 1738-6225