A linear time layout algorithm for business process models · Study