Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets
提出一种基于Petri网的跨组织应急响应流程正确性分析方法，通过分解流程、排除无效实例并检查结构正确性与资源充足性，判断流程是否正确，实验表明该方法比现有技术更有效高效。
When an emergency occurs, disposal needs to be built to reduce the risk imposed on life, property, and environment. Generally, the disposal is organized as a cross-organization emergency response process (CERP). To achieve better-emergency response services, its correctness analysis is an important task that needs to be dealt with at design time. In this article, we propose a novel correctness analysis approach for CERPs. Given a CERP, this approach first decomposes it into a set of instance nets. Then, it excludes the invalid instance nets (each corresponds to an incomplete process instance) and adopts the stubborn set to check the structural correctness of each valid instance net without considering resource factors, as well as introduces a structure-based resource analysis (SRA) method to determine whether the resources in it are sufficient. Finally, it determines the correctness of the CERP by comparing the numbers of the correct instance nets and all valid instance nets. If the CERP is incorrect, it returns the correct instance nets, which capture the parts of the CERP that can be executed correctly. This approach is evaluated on an actual data set, and the comparison results show that it outperforms the state-of-the-art technique in terms of effectiveness and efficiency.