Hierarchical Verification for the BPMN Design Model Using State Space Analysis.
Chanon DechsupaWiwat VatanawoodArthit ThongtakPublished in: IEEE Access (2019)
Keyphrases
- conceptual model
- state space
- prior knowledge
- computational model
- process model
- machine learning
- mathematical model
- colored petri nets
- hierarchical model
- heuristic search
- statistical model
- probabilistic model
- statistical analysis
- multi agent
- neural network
- information systems
- formal methods
- model driven
- state variables
- formal model
- reinforcement learning
- hierarchical structure
- experimental data
- control system
- management system
- theoretical framework
- business process
- em algorithm
- optimal policy
- parameter estimation