Quá trình phát lại của dấu vết ABDEA

Một phần của tài liệu KIỂM TRA sự PHÙ hợp mô HÌNH QUÁ TRÌNH và NHẬT ký sự KIỆN BẰNG PHƯƠNG PHÁP PHÁT lại (Trang 33 - 35)

Ví dụ này thể hiện q trình phát lại của dấu vết đầu tiên trong nhật ký sự kiện L2 trên mơ hình M1, trong đó m là số đếm những thẻ thiếu trong quá trình phát lại, r là số đếm những thẻ cịn lại trong mơ hình q trình khi q trình phát lại kết thúc, c là số đếm những thẻ đã được dùng, và p là số đếm những thẻ được sinh ra trong quá trình phát lại. Khi bắt đầu (a), một thẻ được sinh ra cho vị trí Start trong mơ hình. Khởi tạo m = 0, r = 0, c = 0, p = 1. Sự kiện đầu tiên trong dấu vết là A, được liên kết với 2 thanh chuyển (B, C) trong mơ hình, tuy nhiên chỉ một trong chúng được kích hoạt. Do đó trong pha (b), q trình cháy tiêu thụ một thẻ trong vị trí Start và sinh ra một thẻ cho vị trí c1 (c = 1, p = 2). Đối với sự kiện tiếp theo, thanh chuyển tương ứng B được kích hoạt và có thể cháy. Trong pha (c), q trình cháy tiêu thụ thẻ ở vị trí c1 và sinh ra hai thẻ cho hai vị trí c2 và c5 (c = 2, p = 4). Sau đó thanh chuyển tương ứng D được kích hoạt và có thể cháy. Trong pha (d), q trình cháy tiêu thụ thẻ ở vị trí c2 và sinh ra một thẻ cho vị trí c3 (c = 3, p = 5). Tương tự như vậy, thanh chuyển liên kết với sự kiện tiếp theo E được kích hoạt và có thể cháy. Trong pha (e), quá trình cháy tiêu thụ hai thẻ ở vị trí c3 và c5 và sinh ra một thẻ cho vị trí c4 (c = 5, p = 6). Cuối cùng lại là một sự kiện loại A, thanh chuyển A này được kích hoạt và có thể cháy. Trong pha (f), q trình cháy tiêu thụ thẻ ở vị trí c4 à sinh ra thẻ cho vị trí End (c = 6, p = 7). Trong bước cuối cùng thẻ tại vị trí End được tiêu thu và q trình cháy (hay quá trình phát lại) của dấu vết trên mơ hình hồn thành. Tức là việc loại bỏ thẻ khỏi vị trí End được coi như một thẻ được tiêu thụ. Bởi vì trong quá trình phát lại này, khơng có thẻ thiếu hay thẻ cịn lại trong mơ hình, do đó dấu vết này hồn tồn phù hợp với mơ hình M1. Tương tự dấu vết thứ hai và thứ ba cũng có thể được phát lại mà khơng gặp bất kỳ vấn đề gì. Tức là khơng có thẻ thiếu hay thẻ cịn lại trong mơ hình.

Bây giờ ta xem xét quá trình phát lại của dấu vết thứ tư của nhật ký sự kiện L2: ACHDFA trên mơ hình M1.

Một phần của tài liệu KIỂM TRA sự PHÙ hợp mô HÌNH QUÁ TRÌNH và NHẬT ký sự KIỆN BẰNG PHƯƠNG PHÁP PHÁT lại (Trang 33 - 35)

Tải bản đầy đủ (DOC)

(63 trang)
w