Visual Analytics for Soundness Verification of Process Models.
Humberto S. Garcia CaballeroMichel A. WestenbergHenricus M. W. (Eric) VerbeekWil M. P. van der AalstPublished in: Business Process Management Workshops (2017)
Keyphrases
- process model
- visual analytics
- process mining
- data analysis
- interactive visualization
- visual analysis
- business process
- learning analytics
- business processes
- knowledge discovery
- business process models
- model checking
- code generator
- data mining methods
- petri net
- event logs
- information retrieval
- dynamic behaviors
- case study