Input: An ordinary event log (event id, case id, activity, timestamp) in this order. Output: Set of transitions (T), Set of input transitions (I), Set of output transitions (O), set of (X), set of (Y), set of places (P), set of Flows (F), footprint matrix, discovered model as sound workflow net. 