Ye Zhang Limin Jia Guoqiang Cai Modeling and Application of Railway Safety System through Object Petri Nets. 2173-2176 2007 conf/imecs/2007 IMECS db/conf/imecs/imecs2007.html#ZhangJC07