1、簡單地回顧上一Module
- Play-Out:從一個已經完成的模型指導我們現(xiàn)實生活的行為
- Play-In:從現(xiàn)實生活中的行為總結出一個合理的模型
- Replay:將模型和日志行為進行對比,對于一致性檢查、瓶頸分析有很大的用處
一致性檢查是用于發(fā)現(xiàn)模型與實際日志之間的偏差的行為
2、關于一些時間戳的定義
一個Event Log是Case的集合;
一個Case是一系列Events按照時間順序排列的集合;
一個Event就是一個動作。
2、Module2概述
本Module主要著眼于control-flow的內容
3、Petri Net和Fuzzy Models
Fuzzy Models不像PetriNets那樣具備可執(zhí)行性,但是它可以更加簡單地表示一個流程

FuzzyModels
上圖中正方形代表一個activity,一條邊代表隨機的一個依賴關系