Liveness and Reachability Analysis of BPMN Process Models.
Anass RachdiAbdeslam En-NouaaryMohamed DahchourPublished in: J. Comput. Inf. Technol. (2016)
Keyphrases
- reachability analysis
- process model
- business process models
- business processes
- business process
- model checking
- markov decision processes
- process mining
- timed automata
- state space
- incremental algorithms
- petri net
- design patterns
- event logs
- software process
- control flow
- business process modeling
- business process management
- real time
- computer science
- web services
- machine learning