Probabilistic Fault Diagnosis of Event-driven System Focused on Sequential Order of Processes