Process Mining: An iterative algorithm using the Theory of Regions Kristian Bisgaard Lassen Boudewijn van Dongen Wil van der Aalst

Overview 1.Introduction to Theory of Regions 2.Introduction to Process Mining 3.Applying Theory of Regions to Process Mining 4.Conclusion

Theory of Regions (for Transition Systems) A Region in a Transition System is a set of states, such that for all transitions in the system holds that: 1)If that transition enters the region, then all equally labeled transitions enter the region, 2)If that transition exists the region, then all equally labeled transitions exit the region, 3)If that transition does not cross the region, then no equally labeled transition crosses the region.

Theory of Regions (for Transition Systems) When all regions are found, a Petri net is built, where these regions correspond to places in the net. The resulting Petri net is such that its statespace is bisimilar to the transition system that served as input.

Process Mining: an overview

Log Files Information systems typically log all kinds of events. We use a XML format for storing event logs. The basic assumption is that the log contains information about specific tasks executed for specific process instances (cases, event-lists, audit trails). Any knowledge of the underlying process is not assumed.

Process Mining VS. Theory of Regions Process Mining -Event logs -Completeness unknown -Abstract representation required Theory of Regions -State-based models / (regular) languages -Complete information provided -Exact and compact representation required Big chunks of data, unable to fit in memory.Entire model needs to be present in memory. Completeness of information is very unlikely. Completeness of information is guaranteed by the input model. Main conceptual difference

Some existing Process Mining approaches

The goal: Applying Theory of Regions in the context of PM Assume an event log is A Transition System, such that each trace starts in a global state

Example Log Log: A,B,C,D A,C,B,D A,B,C,D A,C,B,D A,E,D Transition systems

Merging the initial state

Identifying regions

Making the algorithm iterative (i.e. linear in the log)

Future work, other approaches Several other approaches are possible: 1)Constructing a transition system for the whole log in a smart way: Rubin et al. propose 36 ways of doing so, but they require the entire transition system to be build in memory. Their approach however can handle “incomplete” information. 2)Considering the event log as a regular language and use language-based regions as proposed by Darondeau et al. and Lorenz et al.

Conclusions Using our approach, the Theory of Regions can be applied in the context of process mining, in such a way that the approach is linear in the number of cases in the log. Downsides remain the completeness assumption and the resulting model, since this is not an abstraction of the log, which is often required in process mining.