A Simple Graph Theory And Its Application In Railway Signaling
Wai Keung Wong · 2005
This paper describes a simple graph theory expressed in higher order logic and the applications of it in railway signalling. A theory of network based on the graph theory is developed to model the stalic aspects of railway track networks. Tools are being developed to produce formal specification of track networks and to generate control tables for specifying the interlocking required between routes.