Towards comprehensive support for privacy preservation cross-organization business process mining

C Liu, H Duan, Q Zeng, M Zhou, F Lu… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
More and more business requirements are crossing organizational boundaries. There
comes the cross-organization business process management, and its modeling is a …

A Petri-net approach for firefighting force allocation analysis of fire emergency response with backups

J Zhou, G Reniers, V Cozzani - Reliability Engineering & System Safety, 2023 - Elsevier
Fire is one of the main accident scenarios occurring in chemical and process plants, and it
can lead to domino effects due to thermal radiation. Emergency response is necessary to …

Privacy-preserving behavioral correctness verification of cross-organizational workflow with task synchronization patterns

C Liu, Q Zeng, L Cheng, H Duan… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
Workflow management technology has become a key means to improve enterprise
productivity. More and more workflow systems are crossing organizational boundaries and …

Sampling business process event logs using graph‐based ranking model

C Liu, Y Pei, L Cheng, Q Zeng… - … : Practice and Experience, 2021 - Wiley Online Library
Modern information systems are continuously collecting and storing large volumes of
business process event logs. The analysis of event logs can provide valuable insights for …

Generating textual emergency plans for unconventional emergencies—A natural language processing approach

W Ni, Q Shen, T Liu, Q Zeng, L Xu - Safety science, 2023 - Elsevier
An emergency plan is an emergency administrative document that specifies the course of
actions taken to minimize the effects of a crisis or incident. Establishing high-quality …

Petri net based data-flow error detection and correction strategy for business processes

C Liu, Q Zeng, H Duan, L Wang, J Tan, C Ren… - IEEE Access, 2020 - ieeexplore.ieee.org
Conceptual modeling, which includes both control-flow and data-flow modeling, has posed
great challenges for conventional business process management systems. To support …

Refinement-based hierarchical modeling and correctness verification of cross-organization collaborative emergency response processes

H Duan, C Liu, Q Zeng, M Zhou - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
When an emergency occurs, one of the important challenges is how to form an effective and
timely response. An emergency disposal plan is usually organized as a series of emergency …

Resource conflict checking and resolution controller design for cross-organization emergency response processes

Q Zeng, C Liu, H Duan, MC Zhou - IEEE Transactions on …, 2019 - ieeexplore.ieee.org
A group of geographically dispersed and logically collaborated emergency organizations
are involved when emergency occurs. Two challenging issues are a reasonable emergency …

Top-down process mining from multi-source running logs based on refinement of Petri nets

Q Zeng, H Duan, C Liu - IEEE Access, 2020 - ieeexplore.ieee.org
Today's information systems of enterprises are incredibly complex and typically composed of
a large number of participants. Running logs are a valuable source of information about the …

LogRank: An approach to sample business process event log for efficient discovery

C Liu, Y Pei, Q Zeng, H Duan - … KSEM 2018, Changchun, China, August 17 …, 2018 - Springer
Considerable amounts of business process event logs can be collected by modern
information systems. Process discovery aims to uncover a process model from an event log …