计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2004年
6期
37-39,50
,共4页
工作流过程定义%工作流网%Sound
工作流過程定義%工作流網%Sound
공작류과정정의%공작류망%Sound
工作流过程定义可以采用不同的建模方法.工作流网是Petri网技术在工作流过程定义中的具体应用.工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达.论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法.
工作流過程定義可以採用不同的建模方法.工作流網是Petri網技術在工作流過程定義中的具體應用.工作流過程定義模型的正確性、可靠性在工作流網模型中使用Soundness特性錶達.論文在介紹工作流網、工作流網模型的Soundness概唸之外,給齣瞭自由選擇和Well-structured工作流網的Soundness驗證方法.
공작류과정정의가이채용불동적건모방법.공작류망시Petri망기술재공작류과정정의중적구체응용.공작류과정정의모형적정학성、가고성재공작류망모형중사용Soundness특성표체.논문재개소공작류망、공작류망모형적Soundness개념지외,급출료자유선택화Well-structured공작류망적Soundness험증방법.
