Login / Signup

Towards Compliance Verification Between Global and Local Process Models.

Pieter M. KwantesPieter Van GorpJetty KleijnArend Rensink
Published in: ICGT (2015)
Keyphrases
  • process model
  • process mining
  • business processes
  • business process
  • event logs
  • model checking
  • business process models
  • petri net
  • software process
  • reference models
  • design patterns
  • real world
  • reference model