Phát hiện chu trình rw-conflict để đảm bảo serializable
Phím tắt: ←/→ từng bước · Space tự chạy/tạm dừng