Discovering process models from event multiset