Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows

Computer Science

• Annotation 100%
• Business Process 50%
• Business Process Model and Notation 100%
• Business Process Modeling 100%
• Markov Decision Process 50%
• model checker 50%
• State Probability 50%

Keyphrases

• Business Process 33%
• Business Process Model and Notation (BPMN) 100%
• Business Process Modeling 66%
• Business Workflow 33%
• Clinical Workflow 33%
• International Business 33%
• Markov Decision Process 33%
• Non-deterministic 33%
• PRISM Model Checker 33%
• Reward-based 33%
• Steady-state Probabilities 33%
• Transient Probabilities 33%