📚 PETRI技术资料

📦 资源总数：52
💻 源代码：100
Petri网是一种用于描述离散的、分布式系统的数学建模工具。它用形式化手段描述协议的技术.类似于有穷状态自动机.其文法规则有利于计算机程序维护·它可以用来检测协议中的错误，死锁状态。

🔥 PETRI热门资料

查看全部52个资源 »

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

👤 zhanglei193 ⬇️ 2 次下载
Petri 信息系统

在目前基于Agent 的分布式入侵检测系统的设计中，主要的设计思路是依赖多Agent 联盟合作机制，但在具体的工程实现中，却难以找到一种恰当的实现模型。本文针对此问题，提出了基于有色Petri Net...

👤 得之我幸78 ⬇️ 10 次下载
Petri Agent

为增强工作流管理系统的安全性，本文使用高级 Petri 网对工作流过程进行建模。针对不同的安全问题，分别引入时间Petri 网、有色Petri 网和有色时间Petri 网进行建模。保证...

👤 kingwide ⬇️ 5 次下载
Petri BR

💻 PETRI源代码

查看更多 »
💻
petri.exe
💻
petri.~bpr
💻
petri.~cpp
💻
petri.tds
💻
petri.res
💻
petri.bpr
📂 PETRI资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 52 个资源