《表1 日志修复算法的伪代码》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于日志自动机的过程模型异常行为的修复方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

该模型如图3所示，首先买家填写退货申请（A），然后选择退货商品（B），填写退货原因（C）与填写退货单号（D）是并行的.卖家收到退货申请后（E）后产生一个选择结构，卖家可以选择退回全款（F）、退回部分款项（G）或者拒绝退款（I），最后退款流程结束（H）.事件日志的执行轨迹如表1所示.图4为根据表1所生成的日志生成的日志自动机.