View of A Distributed Pattern Matching Algorithm for Event Logs Using Automata Decomposition and Partial Evaluation | International Review of Artificial Intelligence, Machine Learning, and Automated Decision Systems