An event log is a set of cases L ⊆

An event log is a set of cases L ⊆ C such that each event appears at most once
in the entire log, i.e., for any c1,c2 ∈ L such that c1 = c2: ∂set(cˆ1) ∩ ∂set(cˆ2) = ∅

ผลลัพธ์ (ไทย) 1:

บันทึกเหตุการณ์คือ ชุด⊆กรณี L C ปรากฏเหตุการณ์แต่ละครั้งมากที่สุดในทั้งหมดล็อก เช่น มี c1, c2 ∈ L เช่นที่ c1 = c2: ∂set(cˆ1) ∩ ∂set(cˆ2) =∅

ผลลัพธ์ (ไทย) 2:

บันทึกเหตุการณ์เป็นชุดของกรณี L ⊆ C ดังกล่าวว่าแต่ละเหตุการณ์จะปรากฏขึ้นที่มากที่สุดครั้งหนึ่ง
ในบันทึกของทั้งหมดคือสำหรับ c1 ใด ๆ c2 ∈ L ดังกล่าวว่า c1 c2 =: ∂set (c1) ∩∂set (c2 ) = ∅

ผลลัพธ์ (ไทย) 3:

เหตุการณ์เข้าสู่ระบบเป็นชุดของกรณีผม⊆ C ซึ่งแต่ละเหตุการณ์จะปรากฏมากที่สุดเมื่อ
ในทั้งหมดเข้าสู่ระบบ เช่น ใด ๆ∈ C1 , C2 L เช่น C1 C2 :  = ∂ชุด ( C ˆ 1 ) ∩∂ชุด ( C ˆ 2 ) = ∅