淮海工学院学报（自然科学版）
淮海工學院學報（自然科學版）
회해공학원학보（자연과학판）
JOURNAL OF HUAIHAI INSTITUTE OF TECHNOLOGY(NATURAL SCIENCES EDITION)
2011年
4期
18-21
,共4页
工作流%建模%Petri%动态变化%合理性
工作流%建模%Petri%動態變化%閤理性
공작류%건모%Petri%동태변화%합이성
如果工作流管理系统的建模过程中缺乏合理性验证,那么对庞大模型的验证将十分复杂.针对该问题,以Petri网为分析工具,提出了一种动态变化在建模中进行应用的方法.此方法引入动态变化生成的最小变化区域,并利用逻辑推导和真值表对该区域进行结构的合理性验证.实例分析证明,此方法可以降低建模的复杂度和验证的工作量.
如果工作流管理繫統的建模過程中缺乏閤理性驗證,那麽對龐大模型的驗證將十分複雜.針對該問題,以Petri網為分析工具,提齣瞭一種動態變化在建模中進行應用的方法.此方法引入動態變化生成的最小變化區域,併利用邏輯推導和真值錶對該區域進行結構的閤理性驗證.實例分析證明,此方法可以降低建模的複雜度和驗證的工作量.
여과공작류관리계통적건모과정중결핍합이성험증,나요대방대모형적험증장십분복잡.침대해문제,이Petri망위분석공구,제출료일충동태변화재건모중진행응용적방법.차방법인입동태변화생성적최소변화구역,병이용라집추도화진치표대해구역진행결구적합이성험증.실례분석증명,차방법가이강저건모적복잡도화험증적공작량.
