The ProM Framework: A New Era in Process Mining Tool Support
Process Mining and Verification of Properties: An Approach Based on Temporal Logic
Lecture Notes in Computer Science
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE
W. M. P. VAN DER AALST
A. J. M. M. Weijters
H. M. W. Verbeek
A. K. A. de Medeiros
H. T. de Beer
Compliance Checking of Organizational Interactions
Exploring decision-making processes in Python