Process Discovery Algorithms Using Numerical Abstract Domains

Process Discovery Algorithms Using Numerical Abstract Domains