皮特里网相关论文
周孟初被誉为“当今世界离散事件系统领域的顶尖研究者之一。”他说“工作着是美丽的。生命的意义在于奉献。”他谦逊地表示现在的......
稳固是为工作流的正确性的一个很重要的标准。与计算树逻辑(CTL ) 指定稳固允许我们与符号的模型检查器验证稳固。因此，在验证稳固......
In this paper, a new analytic method for modeling and evaluating mobile ad hoc networks (MANET)is proposed. Petri nets t......
根据计算机的要求法庭；网络法庭，一个新奇法庭的计算模型被介绍，它利用 XML/OEM/RM 数据模型，数据熔化技术，法庭的知识库，专家系统的推理......
电梯导轨平直度是电梯的平稳运行的基础。精矫系统的流程优化是保证精矫质量、提高企业效益的关键。由于精矫流程中存在随机性和不......
在当今这个市场竞争日趋激烈、企业内外部环境瞬息变化的时代,企业要想生存和发展,必须能够适应这种变化,根据需要优化和重构企业......
