PETRI

基于Petri网的指挥信息系统死锁防治算法

多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题，也是有待解决的难点之一。该文提出一种描述指挥信息系统的形式化方法——Petri网模型，以抽取某级通信指挥系统与筹划作战方案的智能运作模型

📅 2024-01-29 07:20:02 ⬇️ 2 👁️ 1,035

基于随机对象Petri网的柔性制造系统性能分析

为了增强传统对象Petri网的定量分析能力，提出随机对象Petri网模型。该模型具备随机性和层次特性，获得与随机Petri网的等价关系，从宏观和微观2个层面对系统进行性能分析，并将该模型应用到柔性制造

📅 2024-01-24 22:10:01 ⬇️ 2 👁️ 3,697

基于随机Petri网廉租房系统的建模与分析

Petri网是一种图形化建模分析工具，它应用广泛其范围己远远超出了计算机科学的领域。本文以廉租住房管理系统为例，提出了一个基于随机Petri网工作流建模的方法，对模型的正确性进行了验证。并利用随机P

📅 2023-12-29 05:00:02 ⬇️ 8 👁️ 9,551

一本不可多得的petri网好书，谁看谁收益-A petri net rare books

📅 2023-12-07 15:10:01 ⬇️ 7 👁️ 3,966

基于树型Petri网的网格资源调度模型

讨论树型网格环境下独立任务的调度问题，把网格资源计算能力和网络通信速度的异构资源调度问题转化为线性规划问题。提出网格资源调度的树型Petri网模型，基于速度优先的启发式资源调度算法对树型Petri网模

📅 2023-12-03 11:10:01 ⬇️ 6 👁️ 9,303

基于Matlab环境的Petri网的仿真方法

        该文介绍了佩特利网（Petri网）和Stateflow的基本概念，给出Petri网在Matlab环境下的

📅 2023-11-30 18:20:01 ⬇️ 2 👁️ 7,913

有色Petri网在渗透测试中的应用

渗透测试是常用的网络安全保障方法。该文细化现有渗透测试过程，针对传统渗透测试模型存在的不足提出一种基于有色Petri网的攻击测试网模型，用于模拟网络攻击并组织测试过程。探讨不同攻击场景的合成规则和测试

📅 2023-11-29 03:20:01 ⬇️ 2 👁️ 615

一种安全审计事件时空逻辑关系可视化方法

利用面向对象的思想将安全审计事件以UML的形式表示，在此基础上根据有色Petri网原理提出安全审计事件可视化模型。基于该模型，以文件类操作的安全审计事件为主线，给出一种安全审计事件时空逻辑关系可视化实

📅 2023-11-12 19:00:02 ⬇️ 6 👁️ 9,727

基于对象Petri网的研究导弹作战效能评估的方法

对象Petri网（OPN）Petri网相结合的面向对象的理论提供了一种有效的方法使用在并购离散事件动态系统S领域的Petri网。的概念和对象的机制

📅 2023-11-11 19:40:01 ⬇️ 9 👁️ 7,741

本论文设计出一种较为有效的电梯群控系统。具体内容如下： 1.分析了当前国内外电梯群控技术发展的状况，指明了课题的目和意义。 2.描述了群控系统Petri网数学模型的建立，对电梯群控系统的控制算法进行设计，并介绍了本系统的特点和实现的关键技术。 3.介绍了系统总体结构设计，描述了各硬件组成部分及其工作原理。 4.重点介绍了系统软件结构设计以及调度算法的设计思想。进行了群控系统应用软件结构的规范化研究

📅 2023-10-09 13:00:01 ⬇️ 7 👁️ 2,597

CORBA规范的形式化描述及分析

CO RBA为构建大规模分布式应用程序提供了一套公共对象服务规范，其规范主要以IDL语只提供对象的静态行为描述.提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析，结果表明扩展有色和动态行为.

📅 2023-09-12 18:00:01 ⬇️ 3 👁️ 3,560

模糊控制原理与应用

模糊控制是近代控制理论中一种基于模糊数学理论、采用语言规则与模糊推理等新颖技术的高级控制策略，它是当前研究热点——智能控制中的一个重要分支，发展迅速、应用广泛、实效显著、引人关注。本书主要内容有模糊数学基础、模糊逻辑理论、模糊控制系统与模糊控制器、模糊控制器的设计与分析、模糊控制理论研究、基于多值逻辑的硬件模糊控制器、模糊集成控制器与系统、模糊控制用的通用芯片和模糊控制应用实例等。这次修订着重

📅 2023-06-16 18:00:06 ⬇️ 8 👁️ 9,259