PPM; Petri Net; Quality of Service; Workflow-Based Web Service Composition;
机译:基于工作流的Web服务组合物的QoS测量使用彩色Petri网
机译:分层Petri网模型来正式分析时间关键型Web服务组成
机译:基于高级Petri网的Web服务建模和组合方法
机译:将多态性过程模型转化为Petri网:一种验证基于工作流的Web服务组成的正式方式
机译:高级Petri网的形式化建模和分析技术。
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:将多态过程模型转换为Petri网:一种验证基于工作流的Web服务组合的正式方法