Process mining is a growing and promising study area focused on understanding processes
and to help capture the more significant findings during real execution rather than, those …

The correctness verification is very important for workflow systems. It is closely related with
both control-flows and data-flows. Workflow nets with data (WFD-nets) are a kind of formal …

In configurable business process model, an incorrect configuration may lead to behavioral
issues. The researches of the configurable business process model focus on the control-flow …

Data has a great influence on the analysis of the correctness of workflow systems. How to
ensure that a system runs without data errors is very important. Workflow nets with data …

In this paper a real-time security protection model for scanning the security files is presented.
In this model, a workflow mechanism is presented for real-time scanning Dynamic Link …

Пропонується методика розробки та формування workflow для систем електронного
документообігу (СЕД) в наукових установах. Виявлені основні форми документів …

Abstract Development methods of workflow for electronic document management systems
(EDMS) in scientific organizations were proposed. The main forms of documents in scientific …

To model and verify the workflow formally before implementing workflow, the research status
of workflow with data's formal modeling was summarized. After cleaning the interacting …

CANADIAN JOURNAL OF PURE AND APPLIED SCIENCES Page 2 EDITOR MZ Khan, SENRA
Academic Publishers Burnaby, British Columbia, Canada ASSOCIATE EDITORS Dongmei …