提出一种基于Petri网的语义Web服务流程一致性验证方法。该方法将语义Web服务流程转换为Petri网模型,通过分析Petri网的可达标识图......

面向服务体系架构(Service-Oriented Architecture, SOA)和面向服务计算(Service-Oriented Computing, SOC)的出现,为分布式应用和......