A Bigraph Model for Multi-route Choice in Urban Rail Transit | IEEE Conference Publication | IEEE Xplore