-
题名扩展强化非对称选择网的活性和有界性
被引量：4
- 1
-
-
作者
焦莉
陆维明
-
机构
中国科学院数学与系统研究院数学研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第9期1312-1317,共6页
-
基金
国家自然科学基金资助项目 (6 0 0 730 13)
国家重点基础研究发展规划 973资助项目 (G19980 30 416 )~~
-
文摘
给出了一类非对称选择网 (asymmetric choice net,简称 AC网 ) ,扩展了强化非对称选择网结构活的充分必要条件 ,证明了扩展强化非对称选择网如果是结构活的 ,其标识的活性是可判定的 .同时也证明了扩展强化非对称选择网活性的单调性 ,并给出其结构活和结构有界的充分必要条件 .
-
关键词
非对称选择网
活性
有界性
离散事件系统
PETRI网
-
Keywords
Boundary conditions
Data structures
Numerical analysis
Theorem proving
-
分类号
TP271.8
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名非对称选择网活性的一个多项式时间判定(英文)
被引量：1
- 2
-
-
作者
焦莉
陆维明
-
机构
中国科学院数学与系统研究院数学研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第3期340-346,共7页
-
基金
国家自然科学基金
国家重点基础研究专项经费&&
-
文摘
活性判定是 Petri网中一直没有完全解决的问题 .针对非对称选择网的活性问题 ,利用结构分析理论 ,作了进一步的研究 .首先 ,讨论和分析了活性判定的一般方法 ,然后利用 S-不变 ,提出了非对称选择网活性判定的一个充分条件 ,并给出了相应的多项式算法 .同时 ,对有界的非对称选择网的活性单调性问题进行了深入的研究 ,得到了一个简单的充分必要条件 .
-
关键词
非对称选择网
活性
多项式时间
PETRI网
活性判定
-
Keywords
AC net
liveness
liveness monotonicity
polynomial time
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
