首页> 中文期刊> 《软件学报》 >可分解非对称选择网的活性和有界性

可分解非对称选择网的活性和有界性

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.

著录项

来源
《软件学报》 |2002年第11期|2142-2148|共7页
作者
徐静; 陆维明;
展开▼
作者单位

中国科学院;

数学与系统科学研究院;

北京;

100080;

中国科学院;

数学与系统科学研究院;

北京;

100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
Petri网; 非对称选择网; 可分解非对称选择网; 活性; 有界性;

相似文献

中文文献
外文文献
专利

1. 可分解非对称选择网的活性和家态 [J] . 林贵献 ,陆维明 . 计算机学报 . 2002,第012期
2. 扩展强化非对称选择网的活性和有界性 [J] . 焦莉 ,陆维明 . 软件学报 . 2001,第009期
3. 加权非对称选择网活性和有界性分析 [J] . 焦莉 ,陆维明 . 软件学报 . 2001,第012期
4. 新扩展强化非对称选择网的有界性与单调性 [J] . 宋文 ,伊良忠 ,牟行军 . 西南交通大学学报 . 2004,第005期
5. 判定非对称选择网活性及活性单调性的一个算法 [J] . 宋文 ,陆维明 . 计算机科学 . 2005,第009期
6. 可分解表面活性剂的研究进展 [C] . 朱红军 . 中国化工学会精细化工专业委员会第59次学术会议暨全国第十一次工业表面活性剂技术经济与应用开发会议 . 2002
7. 时间Petri网的活性、有界性研究 [A] . 翟正利 . 2003

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号