The purpose of this paper is to verify the functional correctness of a specific process mining
algorithm and to validate the requirement satisfaction of the targeted algorithm, as well. The …

This paper devises an algorithmic process mining framework characterized by the
mathematical process model of structured information control nets (SICN) and the concept of …

This paper proposes a formal principle for discovering work transference networks of
workflow-supported organizational employees from workflow enactment histories contained …

A workflow model specifies execution sequences of the associated activities and their
affiliated relationships with roles, performers, invoked-applications, and relevant data. These …

Recently, many companies and organizations are interested in predictive process
monitoring for the efficient operation of business process models. Traditional process …

In this paper, we carry out an experimental analysis to show how much perfectly the
conceptual mining framework is working on mining process patterns and their enacted …

The rapid expansion of process mining tools based on machine learning has transformed
the capacity to derive valuable insights from intricate business processes. Nonetheless, the …

abstract The purpose of this paper is to verify the functional correctness of a specific process
mining algorithm and to validate the requirement satisfaction of the targeted algorithm, as …

요 약최근에 많은 기업 및 조직들이 비즈니스 프로세스 모델의 효율적 운용을 위해 예측적
프로세스 모니터링에 관심이 높아지고 있다. 기존의 프로세스 모니터링은 특정 프로세스 …

abstract The purpose of this paper is to verify the functional correctness of a specific process
mining algorithm and to validate the requirement satisfaction of the targeted algorithm, as …