传统的有限状态机（Finite State Machine）工作流引擎可预测性强，但缺乏弹性，一旦现实情况不匹配预设转移条件，流程就会卡死。