硅谷
硅穀
규곡
SILICON VALLEY
2010年
1期
73
,共1页
工作流模型%合理性验证%Petri网
工作流模型%閤理性驗證%Petri網
공작류모형%합이성험증%Petri망
首先根据现实世界中的工作流正确性的概念,给出工作流网正确性的形式化描述,并给出工作流模型的合理性的定义,最后提出基于可达数的合理性验证算法,从而快速完成工作流模型的分析与验证.
首先根據現實世界中的工作流正確性的概唸,給齣工作流網正確性的形式化描述,併給齣工作流模型的閤理性的定義,最後提齣基于可達數的閤理性驗證算法,從而快速完成工作流模型的分析與驗證.
수선근거현실세계중적공작류정학성적개념,급출공작류망정학성적형식화묘술,병급출공작류모형적합이성적정의,최후제출기우가체수적합이성험증산법,종이쾌속완성공작류모형적분석여험증.
