论文部分内容阅读
本文提出Ｐｅｔｒｉ网的叠加运算，并讨论了它在环型系统和星型系统的分析与合成中的应用，得到一组有助于结构性质分析的充要条件和充分条件，本文的结果是文献［１］的进一步发展，在某些方面比文献［１］的结果要好。
Petri网的叠加运算
【摘 要】
：
本文提出Ｐｅｔｒｉ网的叠加运算，并讨论了它在环型系统和星型系统的分析与合成中的应用，得到一组有助于结构性质分析的充要条件和充分条件，本文的结果是文献［１］的进一步发展，在某些方面比文献
【机 构】
：
山东矿业学院计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1994年A00期
其他文献
1基本生产情况9月份,在中秋、国庆两节的刺激下,畜产品价格整体上涨,饲料业生产形势持续向好,产量增速环比略有所放缓。由于气温降低,水产饲料产量出现下滑。根据中国饲料工
2月23—24日．农业部畜牧业司在北京举办了全国畜牧法执法培训班。培训班总结了畜牧法实施以来取得的成绩．交流了各地的典型经验和做法．剖析了当前畜牧法实施过程中存在的问题．并
<正> 1.引言 超立方结构具有良好的通用性,许多数值算法的映射也很自然,并且分布路由选择算法也能有效地实现,因而越来越受到重视,目前已成为一些巨型计算机的基础,但VLSI做
本文提出了PROLOG语言的一种新的推理策略:超前检查和选择回溯算法-FTSB(Forword Testing and Selected Backtracking),FTSB的推理过程全部在产生变量约束的目标上进行,而不
为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该
本文论述了一个以激活与竞争神经网络为基础的多专家意见综合系统,它是一个可存储规则并可学习的系统,常规的加权法相当于神经网不存储任何知识时的特例,该系统在听取了各位
随着软件社会影响的不断发展,提高其可靠性就愈加显得重要,程序测试是保证软件可靠性方法之一.在程序测试中,因果图法是其中一种重要方法,但是由因果图到判定表的转换是最困
随着断奶仔猪饲料中蛋白质利用率的下降（Wellock等,2008）,蛋白质发酵所产生的生物氮也逐步下降（Aumaitre等,1995）,仔猪肠道内包括大肠杆菌等病原菌所引起的仔猪肠道疾病也随之增
5月17日．在2009中国畜牧业暨饲料工业展览会举办之际．中国饲料工业协会会长白美清在成都会见了国际饲料工业联合会秘书长罗杰·吉尔伯特先生．中国饲料工业协会常务副会长谭