论文部分内容阅读
工作流技术是计算机应用领域的一个研究热点，而行之有效的建模方法和分析工具是工作流系统的关键，也是研究人员的研究重点．基于工作流的Petri网结构化建模方法，研究了同一品质多事务工作流的Petri网模型，分析了模型处理多种事务的能力，对以往研究中的不足和错误进行了补充和更正，给出了基于家态的模型结构完整性验证的一个充要条件．所得结果为工作流模型分析和验证提供了理论基础和依据，对于分析工作流系统处理事务的能力，提高事务处理效率有重要意义．