Phương pháp phát lại:
Phương pháp này sử dụng một nhật ký sự kiện và một mơ hình q trình như là dữ liệu đầu vào. Nhật ký sự kiện này được phát lại bên trên mơ hình quá trình. Tức là cho từng dấu vết trong nhật ký sự kiện đi qua mơ hình quá trình, theo đúng trình tự những sự kiện trong từng dấu vết đó. Bằng cách kiểm tra kết quả của quá trình phát lại để định lượng được các độ đo đã trình bày ở trên.
2.2.1. Fitness
Một cách tiếp cận đơn giản đối với kiểm tra sự phù hợp của mơ hình q trình và nhật ký sự kiện là chỉ đếm những dấu vết có thể được phân tích hồn tồn bởi mơ hình (tức là tỉ lệ của những dấu vết tương ứng với chuỗi cháy bắt đầu từ vị trí khởi tạo, và kết thúc tại vị trí kết thúc của mơ hình). Cách tiếp cận này xem xét độ đo fitness ở mức độ trường hợp đầy đủ. Tuy nhiên sử dụng cách tiếp cận này, những dấu vết trong nhật ký sự kiện đơn giản chỉ được phân lớp vào phù hợp hay không phù hợp mà không đề cập đến rằng một dấu vết có thể hầu hết phù hợp với mơ hình hay hồn tồn khơng phù hợp. Do đó, độ đo fitness nên được xem xét ở mức độ sự kiện hơn là mức độ trường hợp đầy đủ.
Trong tính tốn độ đo fitness ở mức độ trường hợp, một dấu vết được dừng phát lại khi gặp phải một vấn đề (khơng thể thực hiện tiếp, hay dấu vết đó khơng đạt đến vị trí kết thúc của mơ hình khi q trình phát lại kết thúc) và đánh dấu nó là khơng phù hợp. Thì trong cách tiếp cận ở mức độ sự kiện, ta tiếp tục thực hiện quá trình phát lại dấu vết đó trên mơ hình q trình nhưng ghi lại tất cả những tình huống khi xảy ra một trong số những vấn đề dừng nói trên. Ví dụ như: khi mà một thanh chuyển bị ép buộc cháy mà khơng được kích hoạt, tức là tiến hành đếm những thẻ bị thiếu trong quá trình phát lại. Hơn nữa, cần ghi lại những thẻ còn lại trong mơ hình khi quá trình phát lại kết thúc. Sau đó sử dụng những số liệu ghi nhận lại từ các thẻ này để tính tốn độ đo fitness. Để giải thích ý tưởng này và minh họa rõ hơn về thủ tục phát lại, một ví dụ sau đây được xem xét: