Service coordination; Linda; Petri nets; Tuple space benchmarks;
机译:基于模糊谓词Petri网的语义Web服务自动组合
机译:基于高级Petri网的Web服务组合和验证模型
机译:基于标记的广义随机Petri网的Web服务组合方法
机译:RLinda:用于Web服务交互的Linda协调范例的基于Petri网的实现
机译:PNetTFV : 有色 Petri网 基于网络 在线固件 功能验证 计划 和实施
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:Web协调绑定的基本功能:通过Web服务建模petri网并表达工作流和通信模式