Yasper: a tool for workflow modeling and analysis · Study