Sign in

基于矩阵的工作流逻辑网模型的化简及验证 (Simplification and Verification of Matrix-based Workflow Logic Net Model).

Hong ZhengWenxuan DengXiao DengXingjian Lu
Published in: 计算机科学 (2018)
Keyphrases
  • mathematical model
  • experimental data
  • probabilistic model
  • objective function
  • process model
  • neural network
  • similarity measure
  • theoretical framework
  • statistical model
  • model checking
  • formal model
  • verification method