论文部分内容阅读
本文对工作流的组成、功能及实现等技术进行了直观的介绍和分析；研究了Petri网的结构和活性性质，给出了活性与状态不变性和行为不变性的关系及共享合成Petri网的活性判定方法；研究了工作流的Petri网建模方法和性质分析，提出了多业务工作流网的概念，并给出了其完整性的充要条件，特别地，对工作流网T-不变量和P-不变量进行了研究，得到了良好的结果；研究了工作流的分解、合成技术，给出了基于T—不变量、P—不变量的两个多项式分解算法及基于深度优先、进程网的分解算法，提出了资源工作流网和共享合成工作流网的定义，并给出了共享合成工作流网保持完整性的一个充要条件；讨论了工作流技术管理系统开发中的应用，并建立了过程组件的工作流网模型。