If an event log contains timestamps

If an event log contains timestamps, then the ordering in a trace should respect these timestamps, i.e., for any c ∈ L, i and j such that 1 ≤ i < j ≤ |ˆc| : # time(c(i))ˆ ≤ # time(c(j))ˆ .

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

บันทึกเหตุการณ์ประกอบด้วยประทับเวลา ถ้าเรียงลำดับในการติดตามควรเคารพประทับเวลาเหล่านี้ เช่น การใด ๆ c ∈ L ฉันเจดังกล่าวที่≤ 1 ฉัน < j ≤ |ˆc| : # time(c(i)) ˆ≤# time(c(j)) ˆ

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

หากมีบันทึกเหตุการณ์ timestamps แล้วการสั่งซื้อในร่องรอยควรเคารพ timestamps เหล่านี้คือสำหรับค∈ L ใด ๆ i และ j ดังกล่าวที่ 1 ≤ i <เจ≤ | ค | เวลา # (ค (i)) ≤ # เวลา (ค (ญ))

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

ถ้าเหตุการณ์เข้าสู่ระบบที่มี timestamps แล้วสั่งในการติดตามควรเคารพเวลาประทับ เหล่านี้เช่นใด C ∈ฉัน ฉัน และ เจ เช่น 1 ≤ < J ≤ | ˆ C | : #เวลา ( C ( i ) ˆ≤#เวลา ( C ( J ) ˆ .