An Invertible State Space for Process Trees

Gero Kolhof, Sebastiaan J. van Zelst

Process models are, like event data, first-class citizens in most process mining approaches. Several process modeling formalisms have been proposed and used, e.g., Petri nets, BPMN…