开放Petri网相关论文
实际应用中Web服务组合的正确性不仅受到其他Web服务的约束,也受到Web环境的约束。由于Web环境的特殊性,很难用传统的方法进行建模......
业务流程作为业务系统的核心,逐渐成为业务流程管理的核心内容之一。由于用户需求的多样化、业务系统功能的复杂化以及环境的开放......
Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的......
本文首先提出Web服务域和Web环境域的概念并使用开放Petri网对Web服务域和Web环境域进行建模。然后通过分析Web环境域模型与Web服......
为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模。通过......