论文部分内容阅读
使用广义随机Petri网（generalized stochastic Petri net，GSPN）对具有复杂时间约束信息的大规模Web服务组合系统进行建模时，模型难以直观理解，并且会造成状态空间爆炸．针对此问题提出一种扩展GSPN建模方法．将不同类型的时间约束信息分别施加于模型的位置、变迁和弧，可以简洁直观地表达系统复杂时间约束信息．进而提出一组应用于扩展模型的化简规则，对模型中一些常用结构进行化简，克服了GSPN缺乏通用化简方法以及难以在保留时间约束特征前提下进行化简的问题，减小了系统模型的状态空间