Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets. - Qi Mo; Jianeng Wang; Chengting Jiang; Zhongwen Xie; Cong Liu 012; Fei Dai 002 (IEEE Trans. Syst. Man Cybern. Syst., 2024)