论Petri网链路合成

被引:6
作者
夏传良
陆维明
机构
[1] 中国科学院数学与系统科学研究院
[2] 中国科学院数学与系统科学研究院 北京
[3] 北京
关键词
Petri网; 链路合成; 结构活性; 非对称选择网;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强.研究结果可为Petri网系统合成的静态和动态性质的考察提供有效途径.
引用
收藏
页码:19 / 26
页数:8
相关论文
共 1 条
[1]   Net Operations [J].
蒋昌俊 ;
吴哲辉 .
Journal of Computer Science and Technology, 1992, (04) :333-344