《表1 SPN模型的库所、变迁语义说明》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于SPN的矿山地面灾害应急预警服务BPEL建模分析》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

MEWGSM模型执行行为的正确与否决定了系统能否满足用户需求[19]；而BPEL本身不包含验证机制，无法对所产生过程的正确性进行分析和验证[20]；SPN作为一种描述离散的、分布式系统的数学建模工具[21]，恰好弥补了BPEL的不足，因此，通过1.2节中的BPEL的SPN表达方式，建立MEWGSM模型BPEL表达的SPN模型。图8（彩图见附录1）为根据映射规则建立的MEWGSM模型的SPN表达模型，表1描述了模型中的库所和变迁的语义。