Toggle Main Menu Toggle Search

Open Access padlockePrints

The merlin-randell problem of train journeys

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

The following synchronization problem is studied: ldquoThere is a finite set of trains, a finite set of stations, and the engine house. Each station can hold only one train. Each train has a route to follow starting and ending at the engine house. The route may be repeated one or more times. A train may leave a station (or the engine house) only when its immediate destination is an empty station or the engine house. At the beginning all trains are placed at the engine house. The problem is to find a synchronization among train movements which allows parallel movements of trains where possible and enables the completion of each train journeyrdquo.A formal model of the train system is proposed assuming that each train route is deterministic and contains no repeated stations. The model is based on the notion of a movement graph being a labeled directed multigraph, the nodes of which represent stations, the arcs of which represent possible train movements. The solution proposed is based on a characterization of inadmissible situations by means of some subgraphs of the movement graph. The properties of these subgraphs, called minimal critical patterns, are investigated. Optimal and suboptimal synchronization strategies are defined. A specification of the optimal strategy in the basic COSY notation is included, and its correctness is demonstrated.


Publication metadata

Author(s): Koutny M

Publication type: Article

Publication status: Published

Journal: Acta Informatica

Year: 1986

Volume: 23

Issue: 4

Pages: 429-463

ISSN (print): 0001-5903

ISSN (electronic): 1432-0525

Publisher: Springer

URL: http://dx.doi.org/10.1007/BF00267866

DOI: 10.1007/BF00267866

Notes: The research reported in this paper was partly supported by a Grant from the Science and Engineering Research Council of Great Britain.


Altmetrics

Altmetrics provided by Altmetric


Share