Traditional finite state machine workflow engines are highly predictable, but lack flexibility; once reality does not match the preset transition conditions, the flow gets stuck.