基于扩展P/T_系统的工作流模型及执行算法研究

摘要

根据PetriNet理论提出了基于扩展P/T_系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件.该方法在模型的流关系上具有逻辑判断功能,使工作流执行中的控制关系通过资源携带的相关数据得以实现,解决了工作流中冲突关系的决策及处理发生权的判断问题,提高了工作流的性能.实例表明,该方法容易实现业务过程与系统模型的真实对应,具有直观、描述能力强、容易维护的优点,可保证系统具有良好的安全性、进展性等性能.