Transforming YAWL Workflows with Time Constraints to Generalized Stochastic Petri Nets. - Supattra Boonyawat; Wiwat Vatanawood (ICSEB, 2019)