-
题名变迁耦合网的T-不变量求解算法
被引量:2
- 1
-
-
作者
岳昊
吴哲辉
施建娟
于立萍
-
机构
山东科技大学信息科学与工程学院
-
出处
《计算机科学》
CSCD
北大核心
2008年第9期178-182,共5页
-
基金
国家自然科学基金(60673053)
-
文摘
首先定义了变迁耦合网及相关概念,其次揭示了变迁耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,根据是否与耦合变迁有关,将N的极小T-不变量分为两类MTS1和MTS2,然后给出了变迁耦合网所有极小T-不变量的求解算法,并给出了两个简单例子加以说明,最后编程实现所提算法并给出初步实验数据。试验结果说明,本文所提算法比现有算法节省大量计算开支。
-
关键词
PETRI网
变迁耦合网
不变量
-
Keywords
Petri net,Transition coupling nets (TCN) ,Invariants
-
分类号
O4-33
[理学—物理]
U12
[交通运输工程]
-