In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), 8-11 October 2000, Nashville, TN, Vol. 4, pages 3081-3086. 2000.
Abstract: Control systems for guided traffic primarily have the task to ensure safe but efficient operation. This paper shows an approach to model such systems in two general steps: the analysis of existing systems to define the functional units and the construction of the train control system. To reach the goal of the train control system, specific functions are used which can be classified in functions for protection, supervision of operation and optimization. These functions are modeled ar abstract functional blocks, independent from the implementation of a specific train control system. By means of these building blocks, existing or new train control systems can be modeled, simulated and analyzed. The method presented here is a part of the framework BASYSNET which is based on Petri nets and means of description.
Keywords: BASYSNET, Petri nets, railway systems, train control systems.