Petri网弱公平性的判断

来源 :计算机学报 | 被引量 : 0次 | 上传用户:silvervan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了弱公平网的概念,并给出了判断一个Petri网是否是弱公平网的一组充分必要条件。
其他文献
我国饲料产品价格继续小幅上涨。育肥猪配合饲料、肉鸡配合饲料和蛋鸡配合饲料价格分别为2.77、2.91和2.65元/kg,分别比上个月上涨0.4%、0.3%和0.4%,同比分别上涨5.7%、4.6%和5.3%(图1和图2)。
本文是文献[1]的续篇,专门论PRNS数母乘法和除法算法,重点介绍宏系数分解法和差方法原理及两种可能的数母乘法器结构方案以及无需移位的除法算法。
随着功能性氨基酸研究的进一步深入.作为精氨酸合成前体的脯氨酸在猪营养方面的作用引起越来越多学者的重视。在传统营养学中.人们只重视必需氨基酸在动物营养中的作用.随着对氨
通过对建筑工程招投标阶段存在的问题和现状进行分析,提出了科学合理、更为适用且符合规定的招投标方法与措施,不仅确保了招投标工作的顺利开展,还在中标单位保证建筑工程质
京华时报记者从河北大午农牧集团得到的消息.由新希望集团和大午集团共同出资的大型商品猪养殖项目新希望大午农牧有限公司日前成立.该项目总投资预计为2.25亿元,建成后年产值将
通过体外法研究不同水平的甘露寡糖(0、0.8%、1.0%及1.2%)对锦江黄牛瘤胃微生物发酵功能的影响。结果表明:Et粮中添加甘露寡糖可以显著提高培养液中微生物蛋白(MCP)含量(P〈0.05):可以降低培
谣传是信息网络中结点之间的一种常见的、重要的信息交换方式,在谣传过程中,每一个结点都得到k个结点的信息,这个概念在计算机网络及其它信息、通信网络的设计中有着重要的意义,本
目的探讨产时宫颈封闭及充分休息软化宫颈对处理宫颈水肿的临床观察。方法选取2006年11月至2007年10月我院分娩产妇中,抽取150例宫颈水肿孕妇,随机取50例用利多卡因封闭宫颈
益生素是一种被添加到日粮中改善肠道微生物平衡的功能性产品.是一种能够增进宿主健康的非消化性的成分。百泰A中含有部分直溶性酵母、乳成分和一些发酵代谢产物.是一种新型的
本文在布尔环重量写系统中研究了缺省逻辑。一个缺省理论等价于一个布尔环方程组。本文还分析了命题缺省理论外延的结构,证明了一个缺省理论的外延的模型集合就是对应的布尔环