可分解非对称选择网的活性和家态

林贵献; 陆维明

首页> 中文期刊> 《计算机学报》 >可分解非对称选择网的活性和家态

可分解非对称选择网的活性和家态

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

徐静等曾给出了非对称选择网(Asymmetric Choice Nets,AC网)的一子类,即可分解非对称选择网(De-composable Asymmetrtc Choice Nets,DAC网),证明其结构活结构有界的充分必要条件满足死锁-陷阱性质.该文与之不同,给出了一种合成方法,证明合成后的DAC网保持了子网的性质,如活性、有界性和家态(Home State).同时充分利用子网的性质给出了判定此类合成DAC网结构活和结构有界的有多项式时间算法.最后,给出一类更一般的组合网,该组合网保持了子网的活性.

著录项

来源
《计算机学报》 |2002年第12期|1325-1330|共6页
作者
林贵献; 陆维明;
展开▼
作者单位

中国科学院数学研究所;

北京;

100080;

中国科学院数学研究所;

北京;

100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
可分解非对称选择网; 活性; 有界性; 家态;

相似文献

中文文献
外文文献
专利

1. 可分解非对称选择网的活性和有界性 [J] . 徐静 ,陆维明 . 软件学报 . 2002,第011期
2. 判定非对称选择网活性及活性单调性的一个算法 [J] . 宋文 ,陆维明 . 计算机科学 . 2005,第009期
3. 新扩展强化非对称选择网的活性 [J] . 宋文 ,伊良忠 ,严兵 . 四川大学学报（自然科学版） . 2004,第005期
4. 非对称选择网活性的一个多项式时间判定 [J] . 焦莉 ,陆维明 . 软件学报 . 2001,第003期
5. 扩展强化非对称选择网的活性和有界性 [J] . 焦莉 ,陆维明 . 软件学报 . 2001,第009期
6. 锥体有攻角绕流对称流态到非对称流态的结构稳定性分析和数值模拟 [C] . 张函信 . 第八届全国计算流体力学会议 . 1996
7. 关于Petri网汇合性质和家态的一些探讨 [A] . 王鹏伟 . 2008

可分解非对称选择网的活性和家态

摘要

著录项

相似文献

相关主题

期刊订阅