Dynamic risk investigation of urban natural gas pipeline accidents using Stochastic Petri net approach · Study