微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2007年
3期
113-116
,共4页
工作流%工作流过程建模%Petri网%工作流逻辑网
工作流%工作流過程建模%Petri網%工作流邏輯網
공작류%공작류과정건모%Petri망%공작류라집망
工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述.通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性.
工作流是對一組有關聯的工作任務間的依賴關繫進行的形式化描述.通過對目前流行的一些工作流產品的分析,針對現有工作流模型錶達能力差,缺乏嚴格的形式化數學定義以及沒有科學分析手段的缺點,引入有色Petri網的相關理論,建立一箇工作流邏輯網以實現工作流的過程建模,該模型有嚴格的理論基礎,併可以利用成熟的Petri網分析方法對業務流程進行分析,同時還具有一定的靈活性和可擴展性.
공작류시대일조유관련적공작임무간적의뢰관계진행적형식화묘술.통과대목전류행적일사공작유산품적분석,침대현유공작류모형표체능력차,결핍엄격적형식화수학정의이급몰유과학분석수단적결점,인입유색Petri망적상관이론,건립일개공작류라집망이실현공작류적과정건모,해모형유엄격적이론기출,병가이이용성숙적Petri망분석방법대업무류정진행분석,동시환구유일정적령활성화가확전성.
