Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets | IEEE Journals & Magazine | IEEE Xplore