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.
|