Process Mining Meets Abstract Interpretation

This publication has 14 references indexed in Scilit:

• New Region-Based Algorithms for Deriving Bounded Petri Nets
  IEEE Transactions on Computers, 2009
• Apron: A Library of Numerical Abstract Domains for Static Analysis
  2009
• Conformance checking of processes based on monitoring real behavior
  Information Systems, 2008
• Process Discovery Using Integer Linear Programming
  2008
• Process Mining Based on Regions of Languages
  2007
• Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation
  Lecture Notes in Computer Science, 2005
• Workflow mining: discovering process models from event logs
  IEEE Transactions on Knowledge and Data Engineering, 2004
• Linear algebraic and linear programming techniques for the analysis of place/transition net systems
  1998
• Partial (set) 2-structures
  Acta Informatica, 1990
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989