Modeling and analysis of urban rail plug door system based on Petri net and SDG diagramWei PENG, Erlin LIU, Lihan CHEN and Dong ZHAIMATEC Web Conf., 272 (2019) 01037DOI: https://doi.org/10.1051/matecconf/201927201037