论文部分内容阅读
利用Petri网的分析方法对独立全局约束服务组合模型的正确性和可靠性进行科学的验证.首先根据该模型中约束条件的特点,对变迁t的发生规则改进后利用可达树的方法来验证模型的正确性.然后通过构造服务组合的可靠性验证图来检验模型的可靠性,最后通过一个实例分析了具体的验证过程,并说明该方法是可行的.