皮特里网相关论文
该文首先从研究分析国外的文献资料入手,通过对比国内外相关的研究工作,分析了目前功能可靠性分析和仿真技术的发展现状和已经取得......
周孟初被誉为“当今世界离散事件系统领域的顶尖研究者之一。”他说“工作着是美丽的。生命的意义在于奉献。”他谦逊地表示现在的......
稳固是为工作流的正确性的一个很重要的标准。与计算树逻辑(CTL ) 指定稳固允许我们与符号的模型检查器验证稳固。因此,在验证稳固......
Since the man-machine interfaces (MMI) of a main control room provide the control platform of a nuclear power plant (NPP......
提出一种新的更适合FMS决策和控制和扩展高级判断Petri网,并着重介绍它的建模方法及其在FMS决策和控制中的应用。建立基于EHLEP-N的FMS决策控制专家系统的......
In this paper, a new analytic method for modeling and evaluating mobile ad hoc networks (MANET)is proposed. Petri nets t......
Reachability graph is a very important tool to analyze the dynamic properties of Petri nets, but the concurrent relation......
根据计算机的要求法庭;网络法庭,一个新奇法庭的计算模型被介绍,它利用 XML/OEM/RM 数据模型,数据熔化技术,法庭的知识库,专家系统的推理......
电梯导轨平直度是电梯的平稳运行的基础。精矫系统的流程优化是保证精矫质量、提高企业效益的关键。由于精矫流程中存在随机性和不......
Petri net language is a powerful tool for describing dynamic behaviors of physical systems. However, it is not easy to o......
在当今这个市场竞争日趋激烈、企业内外部环境瞬息变化的时代,企业要想生存和发展,必须能够适应这种变化,根据需要优化和重构企业......