A model pattern of railway interlocking system by Petri nets | IEEE Conference Publication | IEEE Xplore