计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2005年
15期
211-214
,共4页
工作流%Petri网%层次建模%正确性分析%动态工作流
工作流%Petri網%層次建模%正確性分析%動態工作流
공작류%Petri망%층차건모%정학성분석%동태공작류
当前,复杂工作流建模和动态工作流建模成为工作流研究中的重点.该文详细论述了一种基于Petri网的、用于复杂工作流模型设计的层次建模方法及其相关规则,并利用四种Petri简化规则对工作流模型的正确性进行了验证.同时提出"区"的概念并藉此分析了工作流的动态建模问题.
噹前,複雜工作流建模和動態工作流建模成為工作流研究中的重點.該文詳細論述瞭一種基于Petri網的、用于複雜工作流模型設計的層次建模方法及其相關規則,併利用四種Petri簡化規則對工作流模型的正確性進行瞭驗證.同時提齣"區"的概唸併藉此分析瞭工作流的動態建模問題.
당전,복잡공작류건모화동태공작류건모성위공작류연구중적중점.해문상세논술료일충기우Petri망적、용우복잡공작류모형설계적층차건모방법급기상관규칙,병이용사충Petri간화규칙대공작류모형적정학성진행료험증.동시제출"구"적개념병자차분석료공작류적동태건모문제.