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

• {#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 การ =∧ #activity (c (ˆ 1)) การ = #activity (c (ˆ |ˆc|)) } เป็นชุดทั้งหมดกิจกรรมที่เป็นกิจกรรมที่เริ่มต้นและสิ้นสุดในกรณีเดียวกัน

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

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

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

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