现代电子技术
現代電子技術
현대전자기술
MODERN ELECTRONICS TECHNIQUE
2007年
9期
106-108
,共3页
扩展Petri网%工作流%验证%建模
擴展Petri網%工作流%驗證%建模
확전Petri망%공작류%험증%건모
为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性.实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量.
為瞭更好地對工作流模型的驗證和性能分析,採用擴展Petri網作為工作流建模工具,給齣瞭工作流模型嚮擴展Petri網模型的轉化規則,建立瞭實例模型,論述瞭含有併行成分繫統的結構特性,分析驗證瞭模型的正確性.實踐證明,用擴展Petri網建立工作流模型能提高模型的準確度,減少應用傳統建模方法的冗餘工作量.
위료경호지대공작류모형적험증화성능분석,채용확전Petri망작위공작류건모공구,급출료공작류모형향확전Petri망모형적전화규칙,건립료실례모형,논술료함유병행성분계통적결구특성,분석험증료모형적정학성.실천증명,용확전Petri망건립공작류모형능제고모형적준학도,감소응용전통건모방법적용여공작량.