All cases in L are converted into s

All cases in L are converted into sequences of (activity) names using the classifier. A case c ∈ L is an identifier from the case universe C. cˆ = #trace(c) = e1,e2,...,en ∈ E∗ is the sequence of events executed for c. (c)ˆ = e1,e2,...,en maps these events onto (activity) names using the classifier

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

กรณีทั้งหมดใน L จะถูกแปลงเป็นลำดับของ classifier ที่ใช้ชื่อ (กิจกรรม) รหัสจาก cˆ C. กรณีจักรวาลเป็นกรณี c ∈ L = #trace(c) = e1, e2,..., ∈น้ำ E∗ เป็นลำดับของเหตุการณ์สำหรับˆซี (c) =น้ำแผนที่เหตุการณ์เหล่านี้ไป (กิจกรรม) ชื่อใช้ classifier ที่ e1, e2,...,

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

กรณีทั้งหมดใน L จะถูกแปลงเป็นลำดับของ (กิจกรรม) ชื่อใช้ลักษณนาม กรณีค∈ L นั้นระบุจากจักรวาลกรณี C. c = #trace (c) = E1, E2, ... , en ∈ E * เป็นลำดับของเหตุการณ์ที่เกิดขึ้นดำเนินการสำหรับค (ค) = E1, E2, ... , en แผนที่เหตุการณ์เหล่านี้ลง (กิจกรรม) ชื่อใช้ลักษณนาม

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

ทุกกรณีผมจะแปลงเป็นลำดับ ( กิจกรรม ) ชื่อที่ใช้ลักษณนาม กรณี C ∈ L ระบุจากกรณีจักรวาลซี. ซี ˆ = #ติดตาม ( C ) = E1 , E2 , . . . , และ∈ E ∗เป็นลำดับเหตุการณ์เพื่อดำเนินการ C ( C ) ˆ = E1 , E2 , . . . , และแผนที่เหล่านี้เหตุการณ์บน ( กิจกรรม ) ชื่อที่ใช้ลักษณนาม