论文部分内容阅读
建立工作流模型是实现工作流技术的关键环节，而着色时间Petri 网通过托肯颜色扩展、为变迁赋予时延，能够很好地为复杂工作流建模。本文在阐述着色时间Petri 网和着色时间工作流网相关概念的基础上，分析办公自动化系统中的公文发文过程，并运用着色时间Petri 网建立其工作流模型。最后，基于可达图的分析方法，验证了模型结构的合理性；用具体时间数据分析了整个公文发文过程的时间性能。