1. Aalst, W.M.P.V.D., 1996. Three Good Reasons for Using a Petri-Net-Based Workflow Management System.
2. Formalization and verification of event-driven process chains;van der Aalst;Inf. Softw. Technol.,1999
3. Diffx: an algorithm to detect changes in multi-version xml documents;Al-Ekram,2005
4. Diagnosing behavioral differences between business process models: An approach based on event structures;Armas-Cervantes;Inf. Syst.,2016
5. Binder, R.V., Testing object-oriented systems: models, patterns, and tools, Pearson Schweiz Ag.