Process model forecasting and change exploration using time series analysis of event sequence data · Study