关键词: 编组站, 配流, Petri网, TPr/T_系统

Abstract: The model of TPr/T_system about marshalling yard is built, by extending Pr/T_system to TPr/T_system, according to Petri net theory and the marshalling yard operation procedure. In the model, regarding train or car row as a tuple to restrain the resource condition to wagon-flow allocation. By restraining the predicate capacity to settle the space constrain, besides, the time constraint is settled by restraining transition. In order to obtain a reasonable scheme about wagon-flow allocation, the full axis departure, as far as possible with the punctual departure, is regarded as the optimization goal in the model. The optimization goal can be realized by using the algorithm based on the backward reasoning thought. Finally, an example is used to verify the rationality of the theory presented by the paper.

Key words: marshalling yard, wagon-flow allocation, Petri net, TPr/T_system