论文部分内容阅读
给出了两类典型的满足状态方程却不可达的Petri网.在理论分析的基础上,提出了"借、还资源法"和"借、还变迁法",较好地解决了满足状态方程但不可达的问题.使Petri网可达性得到一定的扩展,从而增强了Petri网对现实系统建模与仿真能力.
基于状态方程的Petri网可达性的扩展
【摘 要】
：
给出了两类典型的满足状态方程却不可达的Petri网.在理论分析的基础上,提出了"借、还资源法"和"借、还变迁法",较好地解决了满足状态方程但不可达的问题.使Petri网可达性得到
【机 构】
：
空军工程大学导弹学院,空军工程大学导弹学院陕西三原713800,陕西三原713800
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2007年S2期
其他文献
<正> 切削液是机械加工行业重要的配套材料,它的质量、品种、水平直接影响机械零部件的加工质量、生产效率、能耗与材耗。如何正确地选用和维护管理,成为广大用户最关心的问
农网统计数据质量关乎公司配网建设发展的科学决策,为保证计数据质量,地市级公司应采取加强基础建设、构建立体化审查体系、深化数据应用等措施。本文主要提供了地市级供电公
绿葆康胶囊为纯中药制品，近日由山西省农科院高梁研究所研制成功。它基于祖国医学对糖尿病及其并发症发病机理的认识，选用有强力功效的天然植物，吸收现代科研成果，采用传统和现代
王国维的“境界”说与柏克的“崇高”说是东西方重要的美学范畴，学界相关研究成果丰硕，但是探讨其共相价值观的论文付诸阙如。将王国维“境界”说的内涵维度与柏克的“崇高”美
报道了甘肃鼢鼠（Ｍｙｏｓｐａｌａｘｃａｎｓｕｓ）、秦岭鼢鼠（Ｍ．ｒｕｆｅｓｃｅｎｓ）的染色体组型和Ｃ带带型．发现两种鼢鼠在染色体组型及Ｃ带带型上均有一定差异．其中秦岭鼢鼠的染色体组型和两种鼢鼠的Ｃ带带型属首次报道．文中对有关的分类学
利用凸性方法讨论了非线性双曲型方程（组）的边值问题古典解及弱解的爆破，得到了这些问题的解在一定条件下的爆破性，并给出了产生爆破所需的条件及爆破时间的估计．
目的：观察舒血宁联合华益迈治疗急性脑梗死的疗效。方法：对30例脑梗死病人进行对照治疗。结果：治疗前后疗效评定有明显差异，胆固醇、甘油三酯、全血黏度等均有明显差异。结论：华益
三相交流电路是复杂的正弦电路，由三相电源、三相负载及三相传输导线构成，由于三相供电与单相相比，具有成本低，效率高的优点，所以在电能的产生，传输及使用方面得到了广泛应用。本文
1996年汉中市红寺湖、南沙河两水库进行了大银鱼移植增殖技术研究 ,两库养鱼水面积共 3 47hm2 ,移植水温红寺湖水温 5℃ ,南沙河水温 7℃ ,两库各选择岸边水深 2m底质为砾沙
对陕西蓝田段家坡红粘土剖面进行高分辨率研究,获得了古地磁年龄数据,并以磁化率和碳酸盐含量为气候代用指标,获得了7.3-2.6MaB.P.期间黄土高原南缘古气候变化的记录.这些结