A novel completeness definition of event logs and corresponding generation algorithm. Issue 4 (29th January 2020)