1、簡單地回顧上一Module
- Play-Out：從一個已經(jīng)完成的模型指導我們現(xiàn)實生活的行為
- Play-In：從現(xiàn)實生活中的行為總結(jié)出一個合理的模型
- Replay：將模型和日志行為進行對比提佣，對于一致性檢查沮峡、瓶頸分析有很大的用處
一致性檢查是用于發(fā)現(xiàn)模型與實際日志之間的偏差的行為
2轩触、關于一些時間戳的定義
一個Event Log是Case的集合壹蔓；
一個Case是一系列Events按照時間順序排列的集合杭攻；
一個Event就是一個動作祟敛。
2、Module2概述
本Module主要著眼于control-flow的內(nèi)容
3兆解、Petri Net和Fuzzy Models
Fuzzy Models不像PetriNets那樣具備可執(zhí)行性馆铁，但是它可以更加簡單地表示一個流程
FuzzyModels
上圖中正方形代表一個activity，一條邊代表隨機的一個依賴關系
