-
题名论非对称选择网的活性
被引量：9
- 1
-
-
作者
甄强
陆维明
-
机构
中国科学院数学研究所计算机科学室
-
出处
《软件学报》
EI
CSCD
北大核心
1998年第5期354-359,共6页
-
基金
国家自然科学基金
中国科学院管理
决策与信息开放实验室基金
-
文摘
本文给出了非对称选择网ＡＣ网（ａｓｙｍｍｅｔｒｉｃｃｈｏｉｃｅｎｅｔｓ）活性单调性的充分必要条件。
-
关键词
非对称选择网
活性
结构
PETRI网
-
Keywords
ac nets (normalsize asymmetric choice nets), strong ac nets, liveness, liveness monotonicity, structure liveness.
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名新扩展强化非对称选择网的有界性与单调性
被引量：1
- 2
-
-
作者
宋文
伊良忠
牟行军
-
机构
西华大学计算机与数理学院
-
出处
《西南交通大学学报》
EI
CSCD
北大核心
2004年第5期656-659,共4页
-
基金
四川省科技厅应用基础项目(03226125)
-
文摘
根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个非空极小死锁H一定是个陷阱且满足t ∩H=t ∩H=1.NESAC网仍然具有ESAC活性单调性的特征.
-
关键词
非对称选择网(ac网)
结构活
活性单调性
结构有界
-
Keywords
ac net(asymmetric choice nets)
structural liveness
liveness monotonicity
structural boundedness
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名论非对称选择网的活性与安全性(英文)
被引量：10
- 3
-
-
作者
甄强
陆维明
-
机构
中国科学院数学研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2000年第5期590-605,共16页
-
基金
This research is supported by the National Natural Science Fundation of China(国家自然科学基金
No.6 97730 16 ) andthe Nation
-
文摘
活性与安全性是网系统的重要行为特性 .该文的贡献在于为非对称选择网导出其活性与安全性的一般性质 .文章讨论了活性具有单调性的非对称选择网活性与安全性的条件 ,并给出一个多项式时间算法来判定一个给定的非对称选择网是否是活的、安全的与活性满足单调性 .文章还讨论了非对称选择网的两个子类 (强化 I型与强化 II型 ) ,并给出活性满足单调性时其 (结构 )活与 (结构 )
-
关键词
非对称选择网
活性
安全性
-
Keywords
Asymmetric choice net, live, safe, structural liveness, structural safeness, liveness monotonicity, strong I ac net, strong II ac net.
-
分类号
O157.5
[理学—基础数学]
-
-
题名扩展强化非对称选择网的活性和有界性
被引量：4
- 4
-
-
作者
焦莉
陆维明
-
机构
中国科学院数学与系统研究院数学研究所
-
出处
《软件学报》
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
- 5
-
-
作者
焦莉
陆维明
-
机构
中国科学院数学与系统研究院数学研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第3期340-346,共7页
-
基金
国家自然科学基金
国家重点基础研究专项经费&&
-
文摘
活性判定是 Petri网中一直没有完全解决的问题 .针对非对称选择网的活性问题 ,利用结构分析理论 ,作了进一步的研究 .首先 ,讨论和分析了活性判定的一般方法 ,然后利用 S-不变 ,提出了非对称选择网活性判定的一个充分条件 ,并给出了相应的多项式算法 .同时 ,对有界的非对称选择网的活性单调性问题进行了深入的研究 ,得到了一个简单的充分必要条件 .
-
关键词
非对称选择网
活性
多项式时间
PETRI网
活性判定
-
Keywords
ac net
liveness
liveness monotonicity
polynomial time
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
-
题名加权非对称选择网活性和有界性分析
被引量：1
- 6
-
-
作者
焦莉
陆维明
-
机构
中国科学院数学与系统科学研究院数学研究所
-
出处
《软件学报》
EI
CSCD
北大核心
2001年第12期1843-1850,共8页
-
基金
国家自然科学基金资助项目 (6 97730 16 )
国家重点基础研究发展规划 973资助项目 (G19980 30 416 )~~
-
文摘
给出了 Petri网系统的一个重要子类 ,即加权非对称选择网 (weighted asymmetric choice net,简称 WAC网 )系统活性的一个充分条件和一个必要条件 ;同时 ,提出了活的有界的 WAC网系统的判定条件 ,进而给出了WAC网活性满足单调性的充分必要条件 .
-
关键词
PETRI网
加权非对称选择网
活性
有界性
-
Keywords
Petri nets
weighted asymmetric choice (Wac) nets
liveness
boundedness
liveness monotonicity
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
-
题名判定非对称选择网活性及活性单调性的一个算法
被引量：1
- 7
-
-
作者
宋文
陆维明
-
机构
西华大学计算机与数理学院
中国科学院数学与系统科学研究院
-
出处
《计算机科学》
CSCD
北大核心
2005年第9期18-20,57,共4页
-
基金
国家自然科学基金(60073013)
国家重点基础研究专项经费(G1998030416)
+1 种基金
中国科学院决策与信息系统实验室(MADIS)资助
四川省科技厅应用基础课题(03226125)
-
文摘
活性是 Petri网的重要行为特征之一。为了得到判定 AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上,将较大问题分而治之,把未知问题转化为已知的FC网上的问题,从而得到了判定AC网活性及活性单调性的多项式时间的算法。
-
关键词
非对称选择网
活性
活性单调性
PETRI网
分析算法
-
Keywords
Asymmetric choice net, Liveness, Liveness monotonicity, Algorithm
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名可分解非对称选择网的活性和有界性
被引量：3
- 8
-
-
作者
徐静
陆维明
-
机构
中国科学院数学与系统科学研究院
-
出处
《软件学报》
EI
CSCD
北大核心
2002年第11期2142-2148,共7页
-
基金
国家自然科学基金资助项目(60073013)
国家重点基础研究发展规划973资助项目(G1998030416)
+1 种基金
中国科学院管理
决策和信息系统开放实验室(MADIS)资助项目~~
-
文摘
活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.
-
关键词
PETRI网
非对称选择网
可分解非对称选择网
活性
有界性
-
Keywords
Algorithms
Boundary conditions
Computational complexity
Theorem proving
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
-
题名可分解非对称选择网的活性和家态
被引量：2
- 9
-
-
作者
林贵献
陆维明
-
机构
中国科学院数学研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
2002年第12期1325-1330,共6页
-
基金
国家自然科学基金 ( 6 97730 16 )
国家重点基础研究专项经费( G19980 30 416 )
+1 种基金
中国科学院管理
决策与信息系统实验室 ( MADIS)资助
-
文摘
徐静等曾给出了非对称选择网 (Asym metric Choice Nets,AC网 )的一子类 ,即可分解非对称选择网 (De-composable Asym metric Choice Nets,DAC网 ) ,证明其结构活结构有界的充分必要条件满足死锁 -陷阱性质 .该文与之不同 ,给出了一种合成方法 ,证明合成后的 DAC网保持了子网的性质 ,如活性、有界性和家态 (Home State) .同时充分利用子网的性质给出了判定此类合成 DAC网结构活和结构有界的有多项式时间算法 .最后 ,给出一类更一般的组合网 ,该组合网保持了子网的活性 .
-
关键词
可分解
非对称选择网
活性
家态
有界性
PETRI网
Dac网
-
Keywords
Algorithms
Polynomials
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名Petri网共享单链子网合成及其应用研究
- 10
-
-
作者
夏传良
-
机构
中国科学院数学与系统科学研究院计算机科学研究室
-
出处
《计算机科学》
CSCD
北大核心
2005年第9期21-25,65,共6页
-
基金
国家自然科学基金(60073013)
国家重点基础研究发展规划(1998030416)
+1 种基金
中国科学院管理
决策与信息系统开放实验室(MADIS)资助
-
文摘
本文针对多个企业共用一个加工厂加工某种产品这一类业务处理问题,提出了经由 Petri网共享单链子网构成单链子网合成网的解决方案;给出了自由选择网(FC),非对称选择网(AC)的共享单链子网合成网为各自相应网的充分条件;提出了共享单链子网合成 Petri网保持结构活性的条件;本文的结果可为 Petri网系统合成的静态和动态性质的考察提供有效途径,具有宽广的应用前景。
-
关键词
PETRI网
结构活性
自由选择网
单链子网
非对称选择网
-
Keywords
Petri nets, Synthesis, Structural liveness, Free choice net
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于活标识性质的活网子类划分
- 11
-
-
作者
吴俊
罗军舟
吴哲辉
-
机构
东南大学
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期5-6,11,共3页
-
基金
国家自然科学基金会重大研究计划(90204009和90412014)和高等学校博士学科点专项科研基金(20030286014).
-
文摘
现有的Petri网子网分类在活性判断问题上难度跳跃过大,难以取得突破.通过对活标识单调性质的研究对结构活网进行了子类划分,将结构活网划分为严格单调活网、单调活网、关于冲突源单调活网、广义单调活网和奇异活网.同时,文中还给出了严格单调活网和单调活网的判定条件.这种划分对活性判断问题作了更细的分级,为活性的研究提供一种新思路.
-
关键词
PETRI网
冲突
死锁
非对称选择网
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
