Cross-organizational collaborative workflow mining from a multi-source log
Today's enterprise business processes become increasingly complex given that they are
often executed by geographically dispersed partners or different organizations. Designing …
often executed by geographically dispersed partners or different organizations. Designing …
E-net modeling and analysis of emergency response processes constrained by resources and uncertain durations
Time and resource management and optimization are two important challenges for an
emergency response process, by which all individuals and groups manage hazards in an …
emergency response process, by which all individuals and groups manage hazards in an …
Modeling and verification for cross-department collaborative business processes using extended Petri nets
Recently, cross-department business processes are becoming more and more complex.
Different kinds of coordination patterns exist among different departments, which make …
Different kinds of coordination patterns exist among different departments, which make …
Petri net based data-flow error detection and correction strategy for business processes
Conceptual modeling, which includes both control-flow and data-flow modeling, has posed
great challenges for conventional business process management systems. To support …
great challenges for conventional business process management systems. To support …
A novel statistical time-series pattern based interval forecasting strategy for activity durations in workflow systems
Forecasting workflow activity durations is of great importance to support satisfactory QoS in
workflow systems. Traditionally, a workflow system is often designed to facilitate the process …
workflow systems. Traditionally, a workflow system is often designed to facilitate the process …
Refinement-based hierarchical modeling and correctness verification of cross-organization collaborative emergency response processes
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 …
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
A group of geographically dispersed and logically collaborated emergency organizations
are involved when emergency occurs. Two challenging issues are a reasonable emergency …
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
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 …
a large number of participants. Running logs are a valuable source of information about the …
Resource conflict detection and removal strategy for nondeterministic emergency response processes using Petri nets
Correctness of an emergency response process specification is critical to emergency
mission success. Therefore, errors in the specification should be detected and corrected at …
mission success. Therefore, errors in the specification should be detected and corrected at …
Network-based social coordination of business processes
This paper presents a social coordination approach that addresses the issue of conflicts
over resources during business process execution. A business process consists of tasks that …
over resources during business process execution. A business process consists of tasks that …