Definition 4.4 (Simple event log) Let A be a set of activity names. A simple trace σ is a sequence of activities, i.e., σ ∈ A∗. A simple event log L is a multi-set of traces over A, i.e., L ∈ B(A∗).2
4.4 (บันทึกเหตุการณ์อย่าง) นิยามให้ A สามารถตั้งค่าชื่อกิจกรรม ติดตามเรื่องΣคือ ลำดับของกิจกรรม เช่น σ∈ A∗ บันทึกเหตุการณ์อย่าง L มีหลายชุดร่องรอยมากกว่า A เช่น L ∈ B (A∗) 2