Modeling of subway stations circulation facilities as state-dependent queuing network based on phase-type distribution | IEEE Conference Publication | IEEE Xplore