-
题名论Petri网链路合成
被引量:6
- 1
-
-
作者
夏传良
陆维明
-
机构
中国科学院数学与系统科学研究院
-
出处
《系统工程理论与实践》
EI
CSCD
北大核心
2005年第6期19-26,共8页
-
基金
国家自然科学基金(60073013)
国家重点基础研究发展规划(1998030416)
+1 种基金
中国科学院管理
决策与信息系统开放实验室(MADIS)资助
-
文摘
提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强.研究结果可为Petri网系统合成的静态和动态性质的考察提供有效途径.
-
关键词
PETRI网
链路合成
结构活性
非对称选择网
-
Keywords
Petri nets
link-road synthesis
structural liveness
asymmetric choice net
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-