SecSy

SecSy allows users to synthesize detailed process logs in an intuitive way. Based on a Petri-net based approach for control flow simulation, it incorporates a series of components to realize a close-to-business synthesis or process logs including detailed timing properties such as cases per day, activity durations, delays between activities, office-days and -hours, but also properties of the execution context (persons and their permissions to execute process activities and data usage information), as well as routing constraints. The core feature of the tool is the possibility to consider security-related constraints, such as SoD/BoD-properties via filters which can generally be used to distort process traces in various ways.