Much corporate organization nowadays implement enterprise resource planning (ERP) to
manage their business processes. Because the processes run continuously, ERP produces …

Automatically generated business processes can be sourced from documents in the form of
structured text or natural language. Although there have been several studies discussing …

Analysts use their business process model to find out the latest business process and
become a reference for future development. Unfortunately, modification of a business …

Process discovery helps companies automatically discover their existing business
processes based on the vast, stored event log. The process discovery algorithms have been …

Runtime verification is a lightweight formal verification technique used to verify the runtime
behaviour of software (resp. hardware) systems. Given a formal property, one or more …

The flow of business process activities in an organization can run simply in the form of
sequential or complex in the form of choice and parallel. In the discovery process, parallel …

Conformance checking detects deviations in business process executions. An online
detection method is needed to give immediate response to anticipate possible impacts. The …

At present, business processes are growing rapidly, resulting in various types of activity
relationships and big event logs. Discovering invisible tasks and invisible tasks in non-free …

This paper addresses the problem of automated modelling of discrete-event processes from
event traces that capture the process behaviour. A novel method for building Petri nets (PN) …

The existing method of graph-based process model discovery has weaknesses in detecting
parallel relationship (XOR, AND, and OR). The algorithm only works on a particular graph …