随着网络时代的到来,计算机支持的网络协同工作(Computer Supported Cooperative Work,CSCW)系统己引起企业界和研究界的高度重视,而网络协同设计是CSCW的一个重要应用。工作流管理是实现网络化协同设计的关键环节之一,它有助于企业缩短产品开发周期,降低成本,提高产品质量和服务质量。Petri网模型是一个基于图形的数学形式化描述模型,具有严密的数学基础和易理解的图形表示特征,适合用来分析离散的并发系统。基于Petri网的过程建模是实现协同设计工作流模型建立的一种有效的方法。本文主要研究内容如下。首先,研究了网络化协同设计的特点,建立了面向协同设计的工作流过程管理的体系结构。其次,将时序推理和Petri网相结合,对协同设计过程建模。利用模糊定时高级Petri网对协同设计活动分析,给出了协作设计活动中模糊、不确定时间的定义,实现对协同设计过程模型的时间和成本等性能分析,给出了对协同设计方案的定量与定性评价,从而为优化协同设计方案提供理论依据。最后,在分析EFTN模型特点的基础上,提出了相应的仿真方案、仿真策略、仿真的性能指标以及仿真技术中几个关键问题的解决办法。设计了基于EFTN模型的仿真工具,并对具体的协同设计模型进行仿真和分析。