Process Mining and Verification of Properties: An Approach Based on Temporal Logic

  • van der Aalst W
  • de Beer H
  • van Dongen B
  • 1


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.

Author-supplied keywords

  • Petri nets
  • business process management
  • data mining
  • process mining
  • temporal logic
  • workflow management

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in


  • W M P van der Aalst

  • H T de Beer

  • B F van Dongen

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free