A journal of IEEE and CAA , publishes high-quality papers in English on original theoretical/experimental research and development in all areas of automation
Advanced Search

IEEE/CAA Journal of Automatica Sinica

  • JCR Impact Factor: 19.2, Top 1 (SCI Q1)
    CiteScore: 28.2, Top 1% (Q1)
    Google Scholar h5-index: 95， TOP 5
Turn off MathJax
Article Contents
Article Navigation >  IEEE/CAA Journal of Automatica Sinica  > 2026  > In Press, Accepted Manuscript
Q. Mo, S. Wei, Y. Zuo, C. Jiang, F. Dai, and C. Liu, “Construction of conflict-free and efficient cross-organization emergency response processes: A petri net-based approach,” IEEE/CAA J. Autom. Sinica, early access, 2026. doi: 10.1109/JAS.2026.125873
Citation: Q. Mo, S. Wei, Y. Zuo, C. Jiang, F. Dai, and C. Liu, “Construction of conflict-free and efficient cross-organization emergency response processes: A petri net-based approach,” IEEE/CAA J. Autom. Sinica, early access, 2026. doi: 10.1109/JAS.2026.125873
shu

Construction of Conflict-Free and Efficient Cross-Organization Emergency Response Processes: A Petri Net-Based Approach

doi: 10.1109/JAS.2026.125873
Funds:  This work was supported in part by the National Natural Science Foundation of China (62562063, 62262063, 62262071, and 62472264), the key research and development program of Yunnan Province (202402AD080002-5, 202502AD080004), the Yunnan Revitalization Talents Support Plan (XDYC-CYCX-2022-0009), Yunnan Fundamental Research Projects (202501AS070046), the Key Industry Science and Technology Projects for University Services in Yunnan Province (FWCY-ZNT2024020), the national funds through FCT (Fundação para a Ciência e a Tecnologia), under the project - UID/04152/2025 - Centro de Investigação em Gestão de Informação (Mag-IC)/NOVA IMS and UID/PRR/04152/2025, and the Natural Science Distinguished Youth Foundation of Shandong Province (ZR2025QA13)
More Information
    Abstract
  • Usually, the disposal of the emergency is organized as a cross-organization emergency response process (CERP), where various resources are involved. The lack of these resources may cause resource conflicts that can delay or even suspend the CERP, thereby increasing the risk imposed on life, property, and the environment. In this paper, we propose a novel approach to construct conflict-free and efficient CERPs. This approach first presents a branching place-based method to decompose a CERP into a set of execution paths. In essence, an execution path refers to a process fragment without choice structures corresponding to some kind of process instance in the CERP. In practice, each execution of the CERP can only follow such an execution path. Next, it determines whether each execution path contains resource conflicts. If not, then the execution path is considered conflict-free; otherwise, it will be resolved using a delay-based strategy. Lastly, it introduces an execution path-oriented strategy to merge all originally conflict-free and resolved execution paths to form a resolved CERP, in which each execution of it is conflict-free and efficient. The proposed approach is implemented in the tool RCTool, and a group of experiments conducted on actual CERPs demonstrates that it is more effective in constructing conflict-free and efficient CERPs compared to existing proposals, and its computation overhead is also acceptable in practice.

     

    • FullText(HTML)
  • loading
    • 1 https://sarahtattersall.github.io/PIPE/
    2 https://www.graphviz.org/
    References(41)
  • [1]
    J. Wang, W. Tepfenhart, and D. Rosca, “Emergency response workflow resource requirements modeling and analysis,” IEEE Trans. Syst., Man, Cybern., C (Appl. Rev.), vol. 39, no. 3, pp. 270–283, May 2009. doi: 10.1109/TSMCC.2009.2009125
    [2]
    C. Liu, Q. Zeng, H. Duan, M. C. Zhou, F. Lu, and J. Cheng, “E-Net modeling and analysis of emergency response processes constrained by resources and uncertain durations,” IEEE Trans. Syst., Man, Cybern.: Syst., vol. 45, no. 1, pp. 84–96, Jan. 2015. doi: 10.1109/TSMC.2014.2330555
    [3]
    H. Duan, C. Liu, Q. Zeng, and M. Zhou, “Refinement-based hierarchical modeling and correctness verification of cross-organization collaborative emergency response processes,” IEEE Trans. Syst., Man, Cy-bern.: Syst., vol. 50, no. 8, pp. 2845–2859, Aug. 2020. doi: 10.1109/TSMC.2018.2838053
    [4]
    Q. Zeng, C. Liu, H. Duan, and M. C. Zhou, “Resource conflict checking and resolution controller design for cross-organization emergency response processes,” IEEE Trans. Syst., Man, Cybern.: Syst., vol. 50, no. 10, pp. 3685–3700, Oct. 2020. doi: 10.1109/TSMC.2019.2906335
    [5]
    Q. Zeng, H. Wang, D. Xu, H. Duan, and Y. Han, “Conflict detection and resolution for workflows constrained by resources and non-determined durations,” J. Syst. Softw., vol. 81, no. 9, pp. 1491–1504, Sep. 2008. doi: 10.1016/j.jss.2007.09.004
    [6]
    J. Q. Li, Y. S. Fan, and M. C. Zhou, “Timing constraint workflow nets for workflow analysis,” IEEE Trans. Syst., Man, Cybern.-A: Syst. Humans, vol. 33, no. 2, pp. 179–193, Mar. 2003. doi: 10.1109/TSMCA.2003.811771
    [7]
    J. Q. Li, Y. S. Fan, and M. C. Zhou, “Performance modeling and analysis of workflow,” IEEE Trans. Syst., Man, Cy-bern.-A: Syst. Humans, vol. 34, no. 2, pp. 229–242, Mar. 2004. doi: 10.1109/TSMCA.2003.819490
    [8]
    Q. Mo, J. Wang, C. Jiang, Z. Xie, C. Liu, and F. Dai, “Correctness analysis of cross-organization emergency response processes based on Petri nets,” IEEE Trans. Syst., Man, Cybern.: Syst., vol. 54, no. 2, pp. 800–812, Feb. 2024. doi: 10.1109/TSMC.2023.3321060
    [9]
    W. M. P. van der Aalst, “Verification of workflow nets,” in Proc. 18th Int. Conf. Application and Theory of Petri Nets. Toulouse, France, 1997, pp. 407−426.
    [10]
    W. P. Van Der Aalst, “Modeling and analyzing interorganizational workflows,” in Proc. 1st Int. Conf. Application of Concurrency to System Design, Fukushima, Japan, 1998, pp. 262−272.
    [11]
    W. M. P. Van Der Aalst, N. Lohmann, and M. La Rosa, “Ensuring correctness during process configuration via partner synthesis,” Inform. Syst., vol. 37, no. 6, pp. 574–592, Sep. 2012. doi: 10.1016/j.is.2011.08.004
    [12]
    D. Whitley and J. Kauth, “GENITOR: a different genetic algorithm,” in Proc. Rocky Mountain Conf. Artificial Intelligence, Denver, Colorado, 1988, pp. 118−130.
    [13]
    A. Costa and L. Gomes, “Petri net partitioning using net splitting operation,” in Proc. 7th IEEE Int. Conf. Industrial Informatics, Cardiff, UK, 2009, pp. 204−209.
    [14]
    J. Ye, M. C. Zhou, Z. Li, and A. Al-Ahmari, “Structural decomposition and decentralized control of Petri nets,” IEEE Trans. Syst., Man, Cybern.: Syst., vol. 48, no. 8, pp. 1360–1369, Aug. 2018. doi: 10.1109/TSMC.2017.2703950
    [15]
    G. Liu, Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems. Singapore, Singapore: Springer, 2022.
    [16]
    C. Yuan, Principle of Petri Nets. Singapore, Singapore: Springer, 2025.
    [17]
    I. Grobelna, R. Wiśniewski, and M. Wojnakowski, “Specification of cyber-physical systems with the application of interpreted nets,” in Proc. 45th Annu. Conf. IEEE Industrial Electronics Society, Lisbon, Portugal, 2019, pp. 5887−5891.
    [18]
    F. Basile, G. Faraut, L. Ferrara, and J. J. Lesage, “An optimization-based ap-proach to discover the unobservable behavior of a discrete-event system through interpreted Petri nets,” IEEE Trans. Automat. Sci. Eng., vol. 17, no. 2, pp. 784–798, Apr. 2020. doi: 10.1109/TASE.2019.2944299
    [19]
    R. Wiśniewski, Ł. Stefanowicz, A. Bukowiec, and J. Lipiński, “Theoretical aspects of Petri nets decomposition based on invariants and hypergraphs,” in Multimedia and Ubiquitous Engineering, J. J. Park, S. C. Chen, J. M. Gil, and N. Y. Yen, Eds. Berlin, Germany: Springer, 2014, pp. 371−376.
    [20]
    M. Wiśniewski, “Application of hypergraphs in decomposition of discrete systems,” in Lecture Notes in Control and Computer Science, J. Korbicz, M. Adamski, A. A. Barkalov, K. Gałkowski, R. Gielerak, A. Janczak, et al, Eds. Zielona Góra, Poland: University of Zielona Góra Pres, 2012.
    [21]
    I. Grobelna, M. Wiśniewska, R. Wiśniewski, M. Grobelny, and P. Mróz, “Decomposition, validation and documentation of control process specification in form of a Petri net,” in Proc. 7th Int. Conf. Human System Interactions, Costa da Caparica, Portugal, 2014, pp. 232−237.
    [22]
    R. Wiśniewski, A. Karatkevich, M. Adamski, and D. Kur, “Application of comparability graphs in decomposition of Petri nets,” in Proc. 7th Int. Conf. Human System Interactions, Costa da Caparica, Portugal, 2014, pp. 216−220.
    [23]
    R. Wiśniewski, A. Karatkevich, M. Adamski, A. Costa, and L. Gomes, “Prototyping of concurrent control systems with application of Petri nets and comparability graphs,” IEEE Trans. Control Syst. Technol., vol. 26, no. 2, pp. 575–586, Mar. 2018. doi: 10.1109/TCST.2017.2692204
    [24]
    W. Song, H. A. Jacobsen, C. Z. Zhang, and X. X. Ma, “Dependence-based data-aware process conformance checking,” IEEE Trans. Serv. Comput., vol. 14, no. 3, pp. 654–667, May-Jun. 2021. doi: 10.1109/TSC.2018.2821685
    [25]
    L. Cheng, C. Liu, and Q. Zeng, “Optimal alignments between large event logs and process models over distributed systems: An approach based on Petri nets,” Inform. Sci., vol. 619, pp. 406–420, Jan. 2023. doi: 10.1016/j.ins.2022.11.052
    [26]
    Q. Mo, J. Wang, Y. Jiang, Z. Xie, W. Wang, C. Liu, and F. Dai, “Enforcing data-aware business processes using execution path-oriented strategies,” IEEE Trans. Syst., Man, Cybern.: Syst., vol. 54, no. 11, pp. 6708–6722, Nov. 2024. doi: 10.1109/TSMC.2024.3427838
    [27]
    Y. Du, B. Yang, and H. Hu, “Incremental analysis of temporal constraints for concurrent workflow processes with dynamic changes,” IEEE Trans. Ind. Inf., vol. 15, no. 5, pp. 2617–2627, May 2019. doi: 10.1109/TII.2018.2868810
    [28]
    Y. Du, Y. Wang, B. Yang, and H. Hu, “Analyzing security requirements in timed workflow processes,” IEEE Trans. Depend. Secure Comput., vol. 19, no. 1, pp. 190–207, Jan.-Feb. 2022. doi: 10.1109/TDSC.2020.2975163
    [29]
    Q. Mo, J. Wang, Z. Xie, C. Liu, and F. Dai, “Enforcing correctness of collaborative business processes using plans,” IEEE Trans. Softw. Eng., vol. 50, no. 9, pp. 2313–2336, Sep. 2024. doi: 10.1109/TSE.2024.3431585
    [30]
    Y. Yang, Z. Liu, Z. Zhao, and M. C. Zhou, “Deadlock analysis and avoidance for automated manufacturing systems based on Petri nets with forward-conflict-free structures,” IEEE Trans. Syst., Man, Cybern.: Syst., vol. 55, no. 3, pp. 1634–1646, Mar. 2025. doi: 10.1109/TSMC.2024.3509901
    [31]
    Z. Ma, Z. Li, A. Giua, “Marking estimation in a class of time labeled Petri nets,” IEEE Trans. Automat. Control, vol. 65, no. 2, pp. 493–506, Feb. 2020. doi: 10.1109/TAC.2019.2907413
    [32]
    I. Grobelna and P. Szcześniak, “Interpreted Petri nets applied to autonomous components within electric power systems,” Appl. Sci., vol. 12, no. 9, p. 4772, May 2022. doi: 10.3390/app12094772
    [33]
    D. Zhao, Z. Zhou, P. C. K. Hung, S. Deng, X. Xue, and W. Gaaloul, “CTL-based adaptive service composition in edge networks,” IEEE Trans. Serv. Com-put., vol. 16, no. 2, pp. 1051–1065, Mar.-Apr. 2023. doi: 10.1109/TSC.2022.3184013
    [34]
    Q. Mo, F. Dai, D. Liu, J. Qin, Z. Xie, and T. Li, “Development of private processes: A refinement approach,” IEEE Access, vol. 7, pp. 31517–31534, 2019. doi: 10.1109/ACCESS.2018.2889715
    [35]
    Q. Mo, W. Song, F. Dai, L. Lin, and T. Li, “Development of collaborative business processes: A correctness enforcement approach,” IEEE Trans. Serv. Comput., vol. 15, no. 2, pp. 752–765, Mar.-Apr. 2022. doi: 10.1109/TSC.2019.2961346
    [36]
    R. D. Goswami, S. Chakraborty, B. Misra, “Variants of genetic algorithms and their applications,” in Applied Genetic Algorithm and Its Variants, N. Dey, Ed. Singapore, Singapore: Springer, 2023, pp. 1−20.
    [37]
    S. N. Chaurasia and A. Singh, “Hybrid evolutionary approaches for the single machine order acceptance and scheduling problem,” Appl. Soft Comput., vol. 52, pp. 725–747, Mar. 2017. doi: 10.1016/j.asoc.2016.09.051
    [38]
    C. Wei, X. Yao, D. Gong, and H. Liu, “Test data generation for mutation testing based on Markov chain usage model and estimation of distribution algorithm,” IEEE Trans. Softw. Eng., vol. 50, no. 3, pp. 551–573, Mar. 2024. doi: 10.1109/TSE.2024.3358297
    [39]
    T. Jin, J. Wang, Y. Yang, L. Wen, and K. Li, “Refactor business process models with maximized parallelism,” IEEE Trans. Serv. Comput., vol. 9, no. 3, pp. 456–468, May-Jun. 2016. doi: 10.1109/TSC.2014.2383391
    [40]
    C. Liu, H. Li, S. Zhang, L. Cheng, and Q. Zeng, “Cross-department collaborative healthcare process model discovery from event logs,” IEEE Trans. Automat. Sci. Eng., vol. 20, no. 3, pp. 2115–2125, Jul. 2023. doi: 10.1109/TASE.2022.3194312
    [41]
    Q. T. Zeng, F. M. Lu, C. Liu, H. Duan, and C. H. Zhou, “Modeling and verification for cross-department collaborative business processes using extended Petri nets,” IEEE Trans. Syst., Man, Cybern.: Syst., vol. 45, no. 2, pp. 349–362, Feb. 2015. doi: 10.1109/TSMC.2014.2334276
    • Related Articles
    • Supplements(0)

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Figures(20)  / Tables(5)

    Get Citation
    PDF
    XML

    Article Metrics

    Article views (19) PDF downloads(4) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return