计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
5期
125-128
,共4页
工作流%Petri网%精炼%网语言
工作流%Petri網%精煉%網語言
공작류%Petri망%정련%망어언
本文定义了工作流网的精炼操作,研究了精炼工作流网的行为保持性质.结果表明精炼工作流网满足行为保持性质,即精炼工作流网的行为与原网和子网行为保持一致.在精炼工作流网行为保持性质的基础上,给出了基于原网语言和子网语言的精炼工作流网的语言刻画.本文结果有助于复杂工作流的设计、建模和验证.
本文定義瞭工作流網的精煉操作,研究瞭精煉工作流網的行為保持性質.結果錶明精煉工作流網滿足行為保持性質,即精煉工作流網的行為與原網和子網行為保持一緻.在精煉工作流網行為保持性質的基礎上,給齣瞭基于原網語言和子網語言的精煉工作流網的語言刻畫.本文結果有助于複雜工作流的設計、建模和驗證.
본문정의료공작류망적정련조작,연구료정련공작류망적행위보지성질.결과표명정련공작류망만족행위보지성질,즉정련공작류망적행위여원망화자망행위보지일치.재정련공작류망행위보지성질적기출상,급출료기우원망어언화자망어언적정련공작류망적어언각화.본문결과유조우복잡공작류적설계、건모화험증.
