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

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 …

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 …

A process model based on animal-based ingredients' running procurement will help halal
level examiners check halal implementation based on Halal Critical Control Points (HCCP) …

Process model discovery is an important part of process mining. State-of-the-art algorithms
still have trouble detecting long parallel patterns with incomplete concurrency patterns. This …

Business process models can represent course schedules. Every business process model
has complexity. The greater the number of courses and the number of study groups, the …

Purpose. Use of a non-relational database management system is proposed while
developing a database of a prototype of expert system with using a semantic model of the …