BPI Challenge 2012: The Transition System Case

Using the Transition System Miner as available in ProM6 [1], we have investigated the control-flow perspective, the data perspective, and the resource perspective of the process that underlies the event log provided for the BPI Challenge 2012 [2].