Process mining : conformance and extension