库所耦合网的T-不变量求解算法

被引:1
作者
岳昊
吴哲辉
机构
[1] 山东科技大学信息学院
关键词
Petri网; 库所耦合网; 不变量;
D O I
10.16182/j.cnki.joss.2007.s1.013
中图分类号
TP301.1 [自动机理论];
学科分类号
081202 ;
摘要
首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。
引用
收藏
页码:29 / 33
页数:5
相关论文
共 2 条
[1]  
Petri网导论.[M].吴哲辉著;.机械工业出版社.2006,
[2]  
Petri网原理与应用.[M].袁崇义著;.电子工业出版社.2005,