• {# activity(e) | c ∈ L ∧ e ∈ ˆc}

• {# activity(e) | c ∈ L ∧ e ∈ ˆc} is the set of all activities appearing in log L.
• {# resource(e) | c ∈ L ∧ e ∈ ˆc ∧ # trans(e) = manualskip} is the set of all resources
that skipped an activity.
• {a ∈ A | c ∈ L ∧ a = # activity(c(ˆ 1)) ∧ a = # activity(c(ˆ |ˆc|))} is the set of all
activities that served as start and end activity for the same case.

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

• {# activity(e) | c ∈ L ∧ e ∈ ˆc } คือชุดของกิจกรรมทั้งหมดที่ปรากฏในบันทึกของ L.• {# resource(e) | c ∈ L ∧ e ∈ ˆc ∧# trans(e) = manualskip } คือชุดของทรัพยากรทั้งหมดที่ข้ามกิจกรรม• {∈ A | ∧ c ∈ L การ =∧กิจกรรม (c (ˆ 1)) #เป็น =#กิจกรรม (c (ˆ |ˆc|)) } เป็นชุดทั้งหมดกิจกรรมที่เป็นกิจกรรมที่เริ่มต้นและสิ้นสุดในกรณีเดียวกัน

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

•กิจกรรม {# (จ) | ค∈ L ∧อี∈ C} เป็นชุดของกิจกรรมทั้งหมดที่ปรากฏในบันทึกลิตร
• {ทรัพยากร # (จ) | ค∈ L ∧∈อีค∧ # ทรานส์ (จ) = manualskip } คือชุดของทรัพยากรทั้งหมด
ที่ข้ามกิจกรรม.
• {∈ | ค∈ L = ∧กิจกรรม # (ค (1)) ∧ = กิจกรรม # (ค (| ค |))} เป็น การตั้งค่าของทุก
กิจกรรมที่ทำหน้าที่เป็นกิจกรรมที่เริ่มต้นและสิ้นสุดในกรณีเดียวกัน

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

- กิจกรรม# { ( E ) | C L E ∈∧∈ˆ C } เป็นชุดของกิจกรรมทั้งหมดที่ปรากฏในบันทึก L .
- { #ทรัพยากร ( E ) | C L E ∈∧∈ˆ C ∧#ทรานส์ ( E ) = manualskip } เป็นชุดของทรัพยากรทั้งหมด
ที่โดดกิจกรรม .
- { ∈เป็น | C ∈ผม∧กิจกรรม# ( C ( ˆ 1 ) ∧กิจกรรม# ( C ( ˆ | ˆ C | ) ) } เป็นชุดของกิจกรรมที่ให้บริการทั้งหมด
เป็นกิจกรรมเริ่มต้น และ สิ้นสุด กรณีเดียวกัน