Browse > Article

Modeling of Railway Networks for LRT Test Line Using Petri Nets  

Choi, Kwon-Hee ((주)에이알텍 연구개발부)
Song, Joong-Ho (서울과학기술대학교 철도전문대학원 철도전기신호공학과)
Choi, Kyu-Hyoung (서울과학기술대학교 철도전문대학원 철도전기신호공학과)
Hwang, Hyun-Chyeol (한국철도기술연구원 경량전철시스템연구단)
Publication Information
Journal of the Korean Society for Railway / v.13, no.6, 2010 , pp. 570-576 More about this Journal
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.
Keywords
Petri Nets; railway; track; track, segment; turnout; platform; deadlock;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 Getting started CPN Tools, http://wiki.daimi.au.dk/ cpntoolshelp/getting_started_with_cpn_.wiki.
2 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.   과학기술학회마을
3 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.   DOI   ScienceOn
4 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.
5 Summary Report of Light Rail Transit System Research and Development Project, Korea Railroad Research Institute, 2004. 12.
6 T. Murata (1989) Petri nets: properties, analysis and applications, Proc. of the IEEE, Vol. 77, N. 4, pp. 541-580.   DOI   ScienceOn
7 O.S. Nock (1967) Hystoric Railway Disasters. Ian Allan
8 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.
9 J. Bjork, Anders M. Hagalisletto, "Challenges in simulating railway systems using Petri Nets".
10 A. Giua, C. Seatzu (2007) Modeling and supervisory control of railway networks using Petri nets, IEEE trans. on Automation Science and Engineering
11 C.W. Janczura (1998) Modelling and analysis of railway network control logic using coloured Petri nets, Ph.D. Thesis, University of South Australia.
12 T.K.S. Murthy, L.S. Laurence, R.E. Rivier (1987) Computers in Railways Management. Springer Verlag.