论文部分内容阅读
针对并发系统的死锁现象，通过原系统Petri网模型的状态可达图和行 为规范，产生目标系统的可达图，进一步生成控制器的Petri网模型.由此为这类问题的 控制器Petri网模型的生成提供一条有效途径.
基于Petri网的并发系统控制器设计
【摘 要】
：
针对并发系统的死锁现象，通过原系统Petri网模型的状态可达图和行 为规范，产生目标系统的可达图，进一步生成控制器的Petri网模型.由此为这类问题的 控制器Petri网模型的生成提供
【机 构】
：
同济大学计算机科学与工程系,中科院计算技术研究所国家智能机中心
【出 处】
：
系统工程学报
【发表日期】
：
2001年2期
【基金项目】
：
国家自然科学基金，全国高等学校优秀博士学位论文作者专项基金，山东省优秀中青年科学家科研奖励基金
其他文献
通过对一类平面ｎ次系统特殊方向的类型及特殊方向附近轨线的性态的讨论，给出了这类系统高阶奇点的指数计算公式。
现代人对居住环境的多元化需求促进了室内设计的发展,现如今,很多室内设计工作者都在探索多元化的室内设计风格,尝试将更多全新的元素引入到室内设计中。动画场景设计作为一
讨论应用随机优势原则求解随机决策问题的对话式决策方法，文中首先证明了在一定条件下可用一系列已知函数的正线性组合逼近决策人的效用函数所在的类，在此基础上，给出了在决策人
模板原理是到目前为止遗传算法中最主要定量数学分析理论，但其对遗传算法运动机理的解释较为勉强。本文通过对遗传算法应用于黎曼函数的研究，给出了模板原理与结构单元假说局限
概述了元明时期两开胶莱运河的简况.剖析了运河两度堙废而不能重开的主要原因,否定了"分水岭处石坚难以深挖"的臆断,提出了重开运河的设想和建议.阐述和论证了运河重开后的巨
当今时代,互联网发展日新月异,各行各业的运营几乎都离不开互联网,大学校园更是如此,每个学年即将结束的时候,同学们都会有很多书籍、电子产品等生活用品闲置不用,但由于学校
转基因动物是生物工程中一个新兴领域.它在基因表达与调控的基础理论研究、贵重药物生产、建立人类疾病模型动物、生产供人类移植用器官、培育家畜新品种等多方面得到应用.并
我国证券市场的发展晚于西方发达国家,现正处于逐步发展、完善的阶段,虽然建立了会计信息披露制度,但由于制度不够健全、规范,所以,从很大程度上制约了证券市场发展的速度。
研究了一类高阶时滞发方程解的振动性，给出了基一切有界解振振力的一个准则。