Log transitions on a state machine to support business process analytics