PDF文档
基于Petri网的指挥信息系统死锁防治算法
多兵种联合作战指挥信息系统死锁防治是保障系统安全可靠的根本问题，也是有待解决的难点之一。该文提出一种描述指挥信息系统的形式化方法——Petri网模型，以抽取某级通信指挥系统与筹划作战方案的智能运作模型...
petri
Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。
共 38 份资源
源代码 100
petri 热门资料
查看全部 38 份 →
PDF文档
基于有色 Petri Net 的多Agent入侵检测系统实现
在目前基于Agent 的分布式入侵检测系统的设计中，主要的设计思路是依赖多Agent 联盟合作机制，但在具体的工程实现中，却难以找到一种恰当的实现模型。本文针对此问题，提出了基于有色Petri Net...
PDF文档
基于对象Petri网的研究导弹作战效能评估的方法
对象Petri网（OPN）Petri网相结合的面向对象的理论提供了一种有效的方法使用在并购离散事件动态系统S领域的Petri网。的概念和对象的机制...
PDF文档
基于Petri网的安全工作流管理系统建模
为增强工作流管理系统的安全性，本文使用高级 Petri 网对工作流过程进行建模。针对不同的安全问题，分别引入时间Petri 网、有色Petri 网和有色时间Petri 网进行建模。保证...
PDF文档
基于随机对象Petri网的柔性制造系统性能分析
为了增强传统对象Petri网的定量分析能力，提出随机对象Petri网模型。该模型具备随机性和层次特性，获得与随机Petri网的等价关系，从宏观和微观2个层面对系统进行性能分析，并将该模型应用到柔性制造...
PDF文档
基于Petri 网的工作流逻辑化简规则的矩阵表示
Petri 网是一种很有效的模型描述语言，尤其适合描述工作流。[1]给出了基于Petri 网的工作流逻辑（WF_logic）化简规则，这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规...
PDF文档
一类混杂系统Petri网模型的优化算法的研究
本文针对工业中广泛存在的混杂系统，结合进化算法，研究了应用Petri 网的分层递阶建模方法，实现一类混杂系统的建模与优化。关键词：混杂系统 Petri 网 建模 进化算法 优化Abst...