Modeling and analysis of urban rail plug door system based on Petri net and SDG diagram