检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]北方交通大学电气工程学院,北京100044 [2]吉林供电公司,吉林吉林132011
出 处:《计算机集成制造系统-CIMS》2003年第8期630-634,共5页
基 金:北方交通大学"十五"科技专项基金资助项目(SM023)。~~
摘 要:根据PetriNet理论提出了基于扩展P/T_系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件。该方法在模型的流关系上具有逻辑判断功能,使工作流执行中的控制关系通过资源携带的相关数据得以实现,解决了工作流中冲突关系的决策及处理发生权的判断问题,提高了工作流的性能。实例表明,该方法容易实现业务过程与系统模型的真实对应,具有直观、描述能力强、容易维护的优点,可保证系统具有良好的安全性、进展性等性能。According to the PetriNet theory, a new workflow model and algorithm based on expanded P/T_system are presented, and the conditions to ensure correctness of workflow are proved. Because the flow relations of the model have the logic judgment ability and the workflow control is realized by relevant data in resources, the problems of conflict and firable judgment in workflow are solved and the performance of workflow is improved. The example shows that it is easy to realize the consistency between business process and workflow model.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.200