A Framework for Train Scheduling Systems Based on Coloured Petri Nets


Norio TOMII@@Takashi SAKAGUCHI

@A framework applicable for train scheduling systems is introduced. This framework designed based on Coloured Petri nets, has a feature that it is quite compact, and is aiming at obtaining various kinds of train scheduling systems by giving small amount of modification and enhancement. We have implemented several kinds of train scheduling systems using the framework and proved that they have been constructed quite easily.