论文部分内容阅读
给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件.
加权非对称选择网活性和有界性分析
【摘 要】
：
给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统
【机 构】
：
中国科学院数学与系统科学研究院数学研究所,中国科学院数学与系统科学研究院数学研究所
【出 处】
：
软件学报
【发表日期】
：
2001年12期
【基金项目】
：
国家自然科学基金，国家重点基础研究发展计划(973计划)
其他文献
在滇池全湖选取110个采样点,调查了沉积物磷的营养状况;外海不同方位选取6个采样点,研究了沉积物磷的赋存形态、剖面分布及其对水体的贡献结果表明,滇池沉积物表层(0～5 cm)总
对35t/h循环流化床电厂电除尘器入口和出口的烟气气溶胶进行分级取样,得到飞灰浓度和粒度分布以及电除尘器的分级脱除效率.电除尘器对PM10、PM2 5的脱除效率分别为94.34%和91
利用封闭箱法测定了沈阳市排污明渠--细河水面CH4的排放通量,结果表明,细河是重要的CH4排放源,水面全年有甲烷排放,排放通量达到280.8 mg*m-2*d-1.且明显受水温和水体污染物
摘要：本文以現代技术“互联网 ”为背景，对现代农业发展遇到的问题以及对策进行研究。 关键词：“互联网 ”农村经济电子商务 课题：本文系河北省职业教育科学研究“十三五”规划2017年度立项课题‘互联网 ’农村电商模式下电子商务专业双创型人才培养与实践研究（课题编号：JZY17137）的阶段性成果。 随着我国经济发展进入新时代，城市经济水平不断发展，与农村的经济发展逐渐拉开差距，城乡的发展水平差
本文展开对中学生教育教学管理的若干思考研究，其主要目的在于了解当前中职生教育现状，以及中职学校教育教学管理情况。在现阶段的教育教学中，中职教育作为特殊性教育，其教学管理
谈到语文教学，我们总离不开“阅读”与“写作”这两个话题。在《语文课程标准》中，也分别对“阅读”与“写作”的教学内容与要求做出了详细的说明，并把这两方面放在了最重要的位
随着World Wide Web上数据量的日益庞大,现有的搜索引擎已经不能满足用户日益增长的需求.利用数据挖掘技术,提高搜索效率,实现了查询的用户化.首先提出了模糊概念图的模型来
通过试验对柴油机排气微粒特性进行了系统的研究.分析了柴油机微粒的组成、排放质量浓度、微粒粒径分布以及微粒的形态特征等,研究了柴油机工况对排气微粒特性的影响,研究结