计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2008年
9期
178-182
,共5页
岳昊%吴哲辉%施建娟%于立萍
嶽昊%吳哲輝%施建娟%于立萍
악호%오철휘%시건연%우립평
Petri网%变迁耦合网%不变量
Petri網%變遷耦閤網%不變量
Petri망%변천우합망%불변량
首先定义了变迁耦合网及相关概念,其次揭示了变迁耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,根据是否与耦合变迁有关,将N的极小T-不变量分为两类MTS1和MTS2,然后给出了变迁耦合网所有极小T-不变量的求解算法,并给出了两个简单例子加以说明,最后编程实现所提算法并给出初步实验数据.试验结果说明,本文所提算法比现有算法节省大量计算开支.
首先定義瞭變遷耦閤網及相關概唸,其次揭示瞭變遷耦閤網N中各箇分支網的T-不變量同N的T-不變量之間的關繫,根據是否與耦閤變遷有關,將N的極小T-不變量分為兩類MTS1和MTS2,然後給齣瞭變遷耦閤網所有極小T-不變量的求解算法,併給齣瞭兩箇簡單例子加以說明,最後編程實現所提算法併給齣初步實驗數據.試驗結果說明,本文所提算法比現有算法節省大量計算開支.
수선정의료변천우합망급상관개념,기차게시료변천우합망N중각개분지망적T-불변량동N적T-불변량지간적관계,근거시부여우합변천유관,장N적겁소T-불변량분위량류MTS1화MTS2,연후급출료변천우합망소유겁소T-불변량적구해산법,병급출료량개간단례자가이설명,최후편정실현소제산법병급출초보실험수거.시험결과설명,본문소제산법비현유산법절성대량계산개지.
