计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
2期
230-233
,共4页
Petri网%不变量%保持条件
Petri網%不變量%保持條件
Petri망%불변량%보지조건
提出了Petri网替换运算的不变量保持条件,根据这些条件,可以由轮廓模型N和子系统模型N1的T-不变量(S-不变量)得到加细模型N'的T-不变量(S-不变量),充分利用已知的轮廓模型N和子系统模型N1的T-不变量(S-不变量),避免从头处理加细模型N',以达到节省计算开支的目的.
提齣瞭Petri網替換運算的不變量保持條件,根據這些條件,可以由輪廓模型N和子繫統模型N1的T-不變量(S-不變量)得到加細模型N'的T-不變量(S-不變量),充分利用已知的輪廓模型N和子繫統模型N1的T-不變量(S-不變量),避免從頭處理加細模型N',以達到節省計算開支的目的.
제출료Petri망체환운산적불변량보지조건,근거저사조건,가이유륜곽모형N화자계통모형N1적T-불변량(S-불변량)득도가세모형N'적T-불변량(S-불변량),충분이용이지적륜곽모형N화자계통모형N1적T-불변량(S-불변량),피면종두처리가세모형N',이체도절성계산개지적목적.
