论文部分内容阅读
高级网系统简洁明了，在Petri网系统的应用中是非常有效的．本文讨论了高级网系统的等价变换，提出了高级网系统的两种极端形式——最高网系统和最低网系统，并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统．此外，还提出了高级网系统的等价谱系，旨在从理论上分析清楚高级网系统的本质．
论高级Petri网系统的等价谱系
【摘 要】
：
高级网系统简洁明了，在Petri网系统的应用中是非常有效的．本文讨论了高级网系统的等价变换，提出了高级网系统的两种极端形式——最高网系统和最低网系统，并且证明了所有高级网系
【机 构】
：
西北大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1993年7期
其他文献
本文提出了多媒体计算机理想的设计模型－数字式视频音频创作和演播系统，并简要地叙述了该模型的原理，结构和功能。同时，作者还进一步论述了采用视频引擎硬件结构及视频音频核心软
螨病俗称疥螨、癞,是猪疥螨寄生在猪的皮内而引起的一种接触性传染的慢性皮肤寄生虫病。主要是通过病猪与健康猪的直接接触,或通过被螨及其虫卵污染的圈舍、垫草和饲养管理用
新华网山西洪洞电．记者2月11日从山西省有关方面了解到．洪洞县9日确诊的高致病性猪蓝耳病疫情．日前正在紧急处置中。山西省纪委驻农业厅纪检组、临汾市纪委分别派出工作组，介入调
本文提出了一个求两互不相交的凸多边形间的距离的快速算法，两个凸多边形间的距离指的是这两凸多边形沿着连心线方向以平移方式相互接近直至相交时所经过的路径长度。
目前，对初生重非常低的人类婴儿全肠外营养（TPN）研究表明．脂肪乳剂对于新生儿的营养是合适但不是最佳的选择。由于脂肪酸在人类和猪身上的代谢非常相似，因而本试验研究几种脂肪乳
并行匹配是并行处理产生式系统的重要内容之一。本文针对现有RETE匹配算法,提出了一种自行设计的在多Transputer系统上实现OPS5并行匹配的方案,并重点讨论了实现MTPM中的一些
近一个月来，国内棕榈油期、现货行情整体涨势如虹．进而带动豆油等相关食用油价格接踵上涨，其背后支撑因素主要来自于东南亚棕榈油市场利多因素共振带动期价突破性反弹的盘面指引
农业部2月8日发布消息消息．截至2月7日．8省旱区受旱麦田中已灌溉面积8000多万亩．占受旱面积的52．7％：已追肥面积近5000万亩．占受旱面积的29．2％。当前．北方麦区旱情持续发展，对夏粮生产构
本文给出了一种多服务器轮询系统的分析方法,与前人的工作相比具有如下特色:(1)我们注意到对应各周期特性指标的诸随机过程之间的关系可归为性质不同的两类:即随机过程的迭合
本文将对开发ＡＮＤ／ＯＲ并行性时的副作用问题加以讨论，并给出一个支持副作用处理的并行执行模型Ｓ－ＲＡＰ／ＬＯＰ。在该模型中，我们在预编译时给子目标分类并加标记ＰＶＳ，这些标记规定了相应子目标的执行条件。