【摘 要】
：
不变式和状态方程的求解是Petri网分析中的基本问题.研究了Petri网库所不变式和变迁不变式的一种求解方法,给出了Petri网系统状态方程的求解方法和发射向量的通解形式.这些方
【基金项目】
：
国家部委预研基金资助项目(51416050201D20139);西安电子科技大学青年工作站基金资助项目
论文部分内容阅读
不变式和状态方程的求解是Petri网分析中的基本问题.研究了Petri网库所不变式和变迁不变式的一种求解方法,给出了Petri网系统状态方程的求解方法和发射向量的通解形式.这些方法都是基于网关联矩阵的满秩分解.讨论了Petri网系统状态方程存在整数解的条件,即可达性的一个必要条件.该条件对于Petri网可达性分析有着重要的意义和价值.
其他文献
竞技体育行为存在导致人身伤亡的高危险,一旦发生运动伤害,就可能出现该行为是否应受刑法评价的难题?竞技体育中的伤害行为是否有被评价为犯罪行为的可能性与必要性?对此,学理上存在不同意见。否定说认为,竞技体育基于本身具有的危险特质,应给予自由发展的空间,刑法不应主动介入;肯定说认为,竞技体育做为一种社会活动应置于整体法规范之下,竞技体育中发生的伤害行为,不能排除刑法适用的可能。目前,国内外学说与实务从社
目的对比内镜黏膜下剥离术(ESD)与传统外科手术治疗消化道早期癌及癌前病变的临床疗效。方法回顾性分析2011年1月至2013年1月本院收治的消化道早癌及癌前病变患者共45例,按照
OLEDs(Organic Light-emitting Diodes)因其响应速度快、工作电压低、可弯曲显示、制备工艺简单、面板轻薄等优点在照明和显示领域占有了一席之地,引起人们普遍的研究兴趣。
论述了采用PC工控机作为控制核心,通过数据采集A/D卡,实现在本试验台上对汽车传动轴进行60000 N.m以下传动轴的静扭转强度试验的工作原理和测试方法;并详细介绍了该试验台的
2012—2014年老矿山深部和外围找矿成果数据集是对地质矿产调查评价专项"老矿山深部和外围找矿"计划项目实施的168项勘查类项目成果数据进行整理而得。本数据集提供经费、工
目的观察硝普钠联合多巴胺持续泵入对顽固性心衰疗效观察。方法对68例已合理给予洋地黄、利尿剂、血管转换酶抑制剂、硝酸酯类药物,纠正病因诱因,吸氧治疗无效、心功能Ⅲ~Ⅳ
我国历史文化源远流长,时至今日已经形成了数量巨大、分布广泛的墓葬遗址。在国家文物局已公布的六批国家级文物保护单位中,有223项属于古墓葬类遗址。对其进行保护与展示利
在综述国外学者关于公共住房政策有效性评价标准的基础上,结合公平与效率的经济学内涵,建立了住房公积金制度有效性的分析框架,并利用统计数据和抽样数据进行了实证研究,得到
随着环境问题的日益突出,"生态与可持续发展"日益得到人们的关注。本文以"生态城市"与"生态园林城市"的概念解析开始,分析生态园林城市的特征及衡量指标,提出建构生态园林城
目的探讨老年危重症患者抗生素相关性腹泻(AAD)的临床特点、主要相关因素及防治措施,并找到1种治疗AAD的有效方法。方法对440例老年危重患者使用抗生素的临床资料进行回顾性