Ye Zhang, Yatao Wang. Modeling China Metro Train Route Occlusion Operation Method Based on Time Petri Nets. In Haiping Xu, editor, The 27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 6-8, 2015. pages 735, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2015.
Abstract is missing.