Research Lab
These are the experimental tools developed by our team. Refer to each of the suggested references for citation purposes.
This tool reconstructs distributive lattices from an event log. The reconstruction consists in 3 main steps: (1) traces in the event log are divided into groups, where each group represents a process execution — in this version of the tool, we use multisite equivalence for grouping traces—, (2) a lattice is constructed from each of the groups, such that each element in the lattice is an execution state and each transition between a pair of elements represent an event occurrence, and (3) each lattice is completed into a distributive one by adding missing elements. In order to control the amount of added (missing) elements, a threshold can be manually defined. See README file for the accepted parameters.