虚拟企业是建立在现代科学技术水平基础之上的新型竞争性组织,能对激烈的市场竞争做出及时响应,是一种新的企业发展组织形式。从生产经营角度出发,制造企业可视为由多个相互关联的不同层次流程组成的活动流程。使用工作流技术可以对企业的生产经营活动进行有效管理。 工作流技术是当前IT领域的一个研究热点。工作流模型是业务过程的计算机化形式表示,工作流管理建立阶段的功能主要是完成过程建模的任务。对于工作流模型的正确性研究亦是一个重要且须得到很好解决的问题。 本文即论述了将工作流技术应用到虚拟企业的方法及其正确性验证问题。文章首先综述了虚拟企业与工作流管理系统的概念及发展历程,着重介绍了当前工作流模型及其验证方法。然后介绍了Petri网与工作流网(WF-net)的概念及性质。基于Petri网进行的建模与分析,具有严格的过程形式化体系,避免了模糊性、不确定性和矛盾性。工作流网是Petri网的分析方法在工作流系统中的应用。在此基础上,荷兰学者Wil van der Aalst提出了跨组织工作流模型。对于虚拟企业,跨组织工作流具有良好的适应性与必要性。接下来,本文对跨组织工作流进行着色扩充,通过给Petri网中的标记赋值,就好比给它们涂上了不同的颜色,从而使对象特性与对应标记紧密结合,更加真实地反映虚拟企业内各成员间的交互与协作。工作流模型正确性验证是工作流研究领域的一个重要问题,工作流管理系统可能建立错误的模型,导致工作流的执行出现异常。以Aalst的方法为基础,本文最后着重对经过着色扩展的跨组织工作流网进行正确性的验证。 将工作流技术应用到虚拟企业具有广泛意义,它可以实现后者的业务过程自