https://www.hotpaper.net/detailsen/20059/prognosis-of-multiple-instances-in-time-aware-declarative-business-process-models/