Overview
Transition systems are a powerful formalism, which is widely used for process model representation. A number of approaches were proposed in the process mining field to tackle the problem of constructing transition systems from event logs. Existing approaches discover transition systems that are either too large or too small. This project is devoted to an original approach to discover transition systems that perfectly fit event logs and whose size is adjustable depending on the user’s need.