Journal of the Korean Society for Railway (한국철도학회논문집)

The Korean Society for Railway (한국철도학회)
권호 표지

Modeling of Railway Networks for LRT Test Line Using Petri Nets

페트리 네트를 이용한 경량전철시험선 선로의 모형화

  • 최권희 ((주)에이알텍 연구개발부) ;
  • 송중호 (서울과학기술대학교 철도전문대학원 철도전기신호공학과) ;
  • 최규형 (서울과학기술대학교 철도전문대학원 철도전기신호공학과) ;
  • 황현철 (한국철도기술연구원 경량전철시스템연구단)
  • Received : 2010.04.27
  • Accepted : 2010.11.29
  • Published : 2010.12.06
Download PDF
⟨ Previous Next ⟩

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 모형을 구현하였다.

Keywords

References

  1. A. Giua, C. Seatzu (2007) Modeling and supervisory control of railway networks using Petri nets, IEEE trans. on Automation Science and Engineering
  2. O.S. Nock (1967) Hystoric Railway Disasters. Ian Allan
  3. C.W. Janczura (1998) Modelling and analysis of railway network control logic using coloured Petri nets, Ph.D. Thesis, University of South Australia.
  4. T.K.S. Murthy, L.S. Laurence, R.E. Rivier (1987) Computers in Railways Management. Springer Verlag.
  5. T. Murata (1989) Petri nets: properties, analysis and applications, Proc. of the IEEE, Vol. 77, N. 4, pp. 541-580. https://doi.org/10.1109/5.24143
  6. T. Kristoffersen, A.M. Hagalisletto, H.A. Hansen (2003) Extracting High-Level Information from Petri Nets: A Railroad Case. Proceedings of the Estonian Academy of Physics and Mathematics, 52(4), 378-393.
  7. J. Bjork, Anders M. Hagalisletto, "Challenges in simulating railway systems using Petri Nets".
  8. M.P. Fanti, A. Giua, C. Seatzu (2006) Monitor design for colored Petri nets: an application to deadlock prevention in railway networks, Control Engineering Practice, 14(10), pp. 1231-1247. https://doi.org/10.1016/j.conengprac.2006.02.007
  9. A. giua, F. DiCesare, M. Silva (1992) Generalized mutual exclusion constraints for nets with uncontrollable transitions, Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, Chicago, USA, pp. 974-979.
  10. Summary Report of Light Rail Transit System Research and Development Project, Korea Railroad Research Institute, 2004. 12.
  11. Getting started CPN Tools, http://wiki.daimi.au.dk/ cpntoolshelp/getting_started_with_cpn_.wiki.
  12. S.I. Han, D.K. Lee (2010) Study of Improving the Operation Diagram of Seoul Metro Line 9 by Diversifying Traijn Paterns, Journal of the Korean Society for Railway, pp. 125-130.