抄録
Component-based distributed railway interlocking system (CBDRIS) introduces component concept into railway signal system in order to curtail human errors brought during software development process of traditional interlocking system. We show a strategy based on Petri-nets to model and evaluate component-based distributed interlocking system. The modeling approach is illustrated by using a route request process on a signal device component in an example station.
