Discovering models of behavior for concurrent workflows · Study